package.json 1.18 KB
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1 2
{
    "name": "currycheck",
3
    "version": "1.1.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": {
Michael Hanus 's avatar
Michael Hanus committed
8 9 10
        "abstract-curry" : ">= 1.0.0",
        "flatcurry"      : ">= 1.0.0",
        "rewriting"      : ">= 0.0.1"
Michael Hanus 's avatar
Michael Hanus committed
11
    },
Michael Hanus 's avatar
Michael Hanus committed
12 13 14 15
    "compilerCompatibility": {
        "pakcs": ">= 1.14.0, < 2.0.0",
        "kics2": ">= 0.5.0, < 2.0.0"
    },
16
    "configModule": "CC.Config",
Michael Hanus 's avatar
Michael Hanus committed
17 18 19 20 21 22
    "executable": {
        "name": "curry-check",
        "main": "CurryCheck"
    },
    "testsuite": [
        { "src-dir": "examples",
23
          "modules": [ "DefaultRulesTest", "DetOps", "ExampleTests",
Michael Hanus 's avatar
Michael Hanus committed
24 25 26 27 28 29 30
                       "ExamplesFromManual", "FloatTest", "ListSpecifications",
                       "Nats", "SEBF", "Sum", "SortSpec", "Tree" ]
        },
        { "src-dir": "examples/withVerification",
          "modules": [ "ListProp", "SortSpec" ]
        }
    ],
Michael Hanus 's avatar
Michael Hanus committed
31 32 33 34
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
Michael Hanus 's avatar
Michael Hanus committed
35 36 37 38 39
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
        "tag": "$version"
    }
}