Skip to main content

Browse the archive

Revision bbfad450946522bc51eec1ee53b3b4deb38a109c authored by Benjamin Gregoire on 05 June 2014, 09:09:31 UTC, committed by Benjamin Gregoire on 05 June 2014, 09:09:31 UTC 
Restore and improve StrongRing
1 parent 6a536e6
Raw File
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-theories]
args   = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories

[test-realized]
args   = -p Eprover -p Alt-Ergo -p Z3
okdirs = theories/realizations

[test-examples]
okdirs = examples
back to top