package.json 985 Bytes
Newer Older
1
2
{
    "name": "currycheck",
3
    "version": "2.0.0",
4
5
6
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "A tool to support automatic testing of Curry programs",
    "category": [ "Testing" ],
7
8
9
10
    "dependencies": { },
    "compilerCompatibility": {
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
11
12
13
    },
    "testsuite": [
        { "src-dir": "examples",
14
          "options": "-m70",
15
16
17
18
19
20
21
22
          "modules": [ "DefaultRulesTest", "DetOperations", "ExampleTests",
                       "ExamplesFromManual", "FloatTest", "ListSpecifications",
                       "Nats", "SEBF", "Sum", "SortSpec", "Tree" ]
        },
        { "src-dir": "examples/withVerification",
          "modules": [ "ListProp", "SortSpec" ]
        }
    ],
Michael Hanus's avatar
Michael Hanus committed
23
24
25
26
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
27
28
29
30
31
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
        "tag": "$version"
    }
}