[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