Commit 4c302e57 authored by Michael Hanus 's avatar Michael Hanus
Browse files

tests updated

parent 86990b8a
...@@ -16,7 +16,7 @@ ...@@ -16,7 +16,7 @@
"testsuite": { "testsuite": {
"src-dir": "src", "src-dir": "src",
"options": "-m100 -dInt", "options": "-m100 -dInt",
"modules": [ "Combinatorial", "Nat", "ShowS", "Sort" ] "modules": [ "ShowS", "Sort" ]
}, },
"source": { "source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/base.git", "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/base.git",
......
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