package.json 1.87 KB
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1 2
{
    "name": "currycheck",
Michael Hanus 's avatar
Michael Hanus committed
3
    "version": "2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
4 5 6 7
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "A tool to support automatic testing of Curry programs",
    "category": [ "Testing" ],
    "dependencies": {
8
        "base"          : ">= 1.0.0, < 2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
9
        "abstract-curry": ">= 2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
10
        "ansi-terminal" : ">= 0.0.1",
11 12
        "cass-analysis" : ">= 2.0.0",
        "cass"          : ">= 2.0.0",
13
        "contracts"     : ">= 0.0.1",
Michael Hanus 's avatar
Michael Hanus committed
14
        "currypath"     : ">= 0.0.1",
Michael Hanus 's avatar
Michael Hanus committed
15
        "easycheck"     : ">= 0.0.1",
Michael Hanus 's avatar
Michael Hanus committed
16
        "flatcurry"     : ">= 2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
17
        "frontend-exec" : ">= 0.0.1",
Michael Hanus 's avatar
Michael Hanus committed
18
        "profiling"     : ">= 1.0.0",
19
        "rewriting"     : ">= 2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
20
        "setfunctions"  : ">= 0.0.1",
21
        "wl-pprint"     : ">= 0.0.1"
Michael Hanus 's avatar
Michael Hanus committed
22
    },
Michael Hanus 's avatar
Michael Hanus committed
23
    "compilerCompatibility": {
24 25
        "pakcs": ">= 2.0.0, < 3.0.0",
        "kics2": ">= 2.0.0, < 3.0.0"
Michael Hanus 's avatar
Michael Hanus committed
26
    },
Michael Hanus 's avatar
Michael Hanus committed
27
    "configModule": "CC.Config",
Michael Hanus 's avatar
Michael Hanus committed
28 29 30 31 32 33
    "executable": {
        "name": "curry-check",
        "main": "CurryCheck"
    },
    "testsuite": [
        { "src-dir": "examples",
Michael Hanus 's avatar
Michael Hanus committed
34
          "options": "-m70",
35
          "modules": [ "DefaultRulesTest", "DetOps", "ExampleTests",
36
                       "ExamplesFromManual", "FloatTest", "HigherOrder",
Michael Hanus 's avatar
Michael Hanus committed
37 38
                       "Nats", "SEBF", "Sum", "SortSpec", "Tree" ]
        },
39 40 41 42
        { "src-dir": "examples",
          "options": "-m70 -e ground",
          "modules": [ "ListSpecifications" ]
        },
Michael Hanus 's avatar
Michael Hanus committed
43 44
        { "src-dir": "examples/withVerification",
          "modules": [ "ListProp", "SortSpec" ]
45 46
        },
        { "src-dir": "examples/equivalent_operations",
47
          "modules": [ "Fac", "SelectionSort", "SortISortEquiv" ]
Michael Hanus 's avatar
Michael Hanus committed
48 49
        }
    ],
Michael Hanus 's avatar
Michael Hanus committed
50 51 52 53
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
Michael Hanus 's avatar
Michael Hanus committed
54 55 56 57 58
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
        "tag": "$version"
    }
}