Commit 62e85bae authored by Michael Hanus 's avatar Michael Hanus
Browse files

Some tests removed, to be re-inserted when currypp 3.0.0 is ready

parent f90da0f2
......@@ -34,14 +34,10 @@
"testsuite": [
{ "src-dir": "examples",
"options": "-m70",
"modules": [ "DefaultRulesTest", "DetOps", "ExampleTests",
"modules": [ "ExampleTests",
"ExamplesFromManual", "FloatTest", "HigherOrder",
"Nats", "SEBF", "Sum", "SortSpec", "Tree" ]
},
{ "src-dir": "examples",
"options": "-m70 -e ground",
"modules": [ "ListSpecifications" ]
},
{ "src-dir": "examples/withVerification",
"modules": [ "ListProp", "SortSpec" ]
},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment