Commit b967d13f authored by Michael Hanus 's avatar Michael Hanus
Browse files

currycheck/1.1.0 added

parent ca64d2bc
{
"name": "currycheck",
"version": "1.1.0",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "A tool to support automatic testing of Curry programs",
"category": [ "Testing" ],
"dependencies": {
"abstract-curry" : ">= 1.0.0",
"flatcurry" : ">= 1.0.0",
"rewriting" : ">= 0.0.1"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"configModule": "CurryCheckConfig",
"executable": {
"name": "curry-check",
"main": "CurryCheck"
},
"testsuite": [
{ "src-dir": "examples",
"modules": [ "DefaultRulesTest", "DetOperations", "ExampleTests",
"ExamplesFromManual", "FloatTest", "ListSpecifications",
"Nats", "SEBF", "Sum", "SortSpec", "Tree" ]
},
{ "src-dir": "examples/withVerification",
"modules": [ "ListProp", "SortSpec" ]
}
],
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
"tag": "$version"
}
}
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