https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: dab7c477290c5f1a5a53c317edc089b63cf8e5bf authored by Cameron Low on 11 October 2021, 09:55:19 UTC
Merge pull request #81 from Cameron-Low/csidh-group-action
Tip revision: dab7c47
tests.config
[default]
bin = ./ec.native

[test-prelude]
args   = -boot
okdirs = theories/prelude

[test-stdlib]
okdirs  = !theories
exclude = theories/prelude theories/oldlibs

[test-examples]
okdirs  = !examples
exclude = examples/MEE-CBC examples/old examples/old/list-ddh !examples/incomplete examples/to-port

[test-mee-cbc]
okdirs = examples/MEE-CBC
back to top