diffmodel

Documentation

Overview

Command diffmodel compares our model and the server model. It emits a diff of the changes on the standard output. If there are no changes, this command exits with the zero exit code. Otherwise it exits with a nonzero exit code, thus signaling that there is a mismatch.

Continuous integration

The tests of this package check whether the client model and the server model have diverged. Of course, the test fails if they have diverged and succeeds otherwise.