Skip to main content

Browse the archive

Revision 123baa80f05cffdf8349f48e12a821187343e93c authored by Pierre-Yves Strub on 05 March 2016, 16:18:17 UTC, committed by Pierre-Yves Strub on 05 March 2016, 16:18:17 UTC 
Distribute ecVersion.ml.in, not ecVersion.ml
1 parent 1b99c89
Raw File
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

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