Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
05 April 2024, 19:20:55 UTC
Revision e3f7ce199bf52928632957fce64516ae13aeca1e authored by Pierre-Yves Strub on 10 July 2015, 20:12:56 UTC, committed by Pierre-Yves Strub on 10 July 2015, 20:13:11 UTC 
Ring/Number: trivial lemmas.
1 parent d89a5af
Raw File
Tip revision: e3f7ce199bf52928632957fce64516ae13aeca1e authored by Pierre-Yves Strub on 10 July 2015, 20:12:56 UTC
Ring/Number: trivial lemmas.
Tip revision: e3f7ce1
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
back to top