nunchaku-problems

Set of problems for exercizing Nunchaku, based on "master" branch of Nunchaku.

How to Run Tests

$ opam pin add -k git logitest https://github.com/nunchaku-inria/logitest.git

run make to run everything, or:
- make should_pass for fixed bugs and tests
- make bugs for bugs

Name		Name	Last commit message	Last commit date
Latest commit History 371 Commits
bugs		bugs
fixed_bugs		fixed_bugs
mockups		mockups
new		new
smt_bugs		smt_bugs
tests		tests
Makefile		Makefile
README.md		README.md
bisect_run.sh		bisect_run.sh
test.toml		test.toml