package.json 1.57 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",
10 11
        "cass-analysis" : ">= 2.0.0",
        "cass"          : ">= 2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
12
        "flatcurry"     : ">= 2.0.0",
13 14
        "rewriting"     : ">= 2.0.0",
        "wl-pprint"     : ">= 0.0.1"
Michael Hanus 's avatar
Michael Hanus committed
15
    },
Michael Hanus 's avatar
Michael Hanus committed
16
    "compilerCompatibility": {
Michael Hanus 's avatar
Michael Hanus committed
17 18
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
Michael Hanus 's avatar
Michael Hanus committed
19
    },
Michael Hanus 's avatar
Michael Hanus committed
20
    "configModule": "CC.Config",
Michael Hanus 's avatar
Michael Hanus committed
21 22 23 24 25 26
    "executable": {
        "name": "curry-check",
        "main": "CurryCheck"
    },
    "testsuite": [
        { "src-dir": "examples",
Michael Hanus 's avatar
Michael Hanus committed
27
          "options": "-m70",
Michael Hanus 's avatar
Michael Hanus committed
28
          "modules": [ "DefaultRulesTest", "DetOperations", "ExampleTests",
29
                       "ExamplesFromManual", "FloatTest",
Michael Hanus 's avatar
Michael Hanus committed
30 31
                       "Nats", "SEBF", "Sum", "SortSpec", "Tree" ]
        },
32 33 34 35
        { "src-dir": "examples",
          "options": "-m70 -e ground",
          "modules": [ "ListSpecifications" ]
        },
Michael Hanus 's avatar
Michael Hanus committed
36 37
        { "src-dir": "examples/withVerification",
          "modules": [ "ListProp", "SortSpec" ]
38 39
        },
        { "src-dir": "examples/equivalent_operations",
40
          "modules": [ "Fac", "SortISortEquiv" ]
Michael Hanus 's avatar
Michael Hanus committed
41 42
        }
    ],
Michael Hanus 's avatar
Michael Hanus committed
43 44 45 46
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
Michael Hanus 's avatar
Michael Hanus committed
47 48 49 50 51
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
        "tag": "$version"
    }
}