[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-core]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories/core
[test-theories]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories
[test-encryption]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories/encryption
[test-newth]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories/newth
[test-realized]
args = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories/realizations
[test-examples]
okdirs = examples