Revision bbfad450946522bc51eec1ee53b3b4deb38a109c authored by Benjamin Gregoire on 05 June 2014, 09:09:31 UTC, committed by Benjamin Gregoire on 05 June 2014, 09:09:31 UTC
1 parent 6a536e6
tests.config
[default]
bin = ./ec.native
[test-unit]
okdirs = tests/*/success
kodirs = tests/*/fail
exclude = tests/pbhl/success tests/pbhl/failure
[test-prelude]
args = -p Eprover -p Alt-Ergo -p Z3 -boot
okdirs = theories/prelude
[test-theories]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories
[test-realized]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories/realizations
[test-examples]
okdirs = examples
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...