Content - 26bd46951bc8d342530a73b90c96d40b23a60f33 - 30331ac/config/tests.config

visit type:

https://github.com/EasyCrypt/easycrypt

05 April 2024, 19:20:55 UTC

Tip revision: 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`

Tip revision: 863066b

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-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