What you need

https://github.com/cpa/haskellcontracts. Clone that and run make; make egs; make equinox. The second make will pull in a copy of these examples.

Directories and files

yes/: examples which we believe to be true. This doesn't mean Equinox will refute our generated formulas, but that's the ideal outcome.
no/: examples which we believe to be false. This doesn't mean Equinox will find a model for our generated formulas, but that's the ideal outcome.
boring/: examples which are boring, or messed up, or ...
run-tests.sh: script for running tests. See ./run-tests.sh -h for usage and examples.

Because that makes it easier to test different versions of code with different versions of tests, independently.

Name		Name	Last commit message	Last commit date
Latest commit History 84 Commits
Lem		Lem
Lib		Lib
boring		boring
no		no
pdxdesktop		pdxdesktop
yes-u1		yes-u1
yes		yes
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
TODO.org		TODO.org
csv-to-table.sh		csv-to-table.sh
diff-tests.sh		diff-tests.sh
macros.el		macros.el
run-tests.sh		run-tests.sh
test-to-csv.sh		test-to-csv.sh
timeout.sh		timeout.sh