Skip to main content

Browse the archive

Revision 49d4ab81e49b7d5400399177cf804d9e0191ebb0 authored by Pierre-Yves Strub on 14 December 2015, 10:13:15 UTC, committed by Pierre-Yves Strub on 14 December 2015, 10:13:47 UTC 
Lists: subseq + more on sorts.
 
Some admits in subseq.
1 parent 3aa90e0
Raw File
tests.config 
[default]
bin = ./ec.native

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

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

[test-examples]
okdirs = examples
back to top