{
    "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": "CC.Config",
    "executable": {
        "name": "curry-check",
        "main": "CurryCheck"
    },
    "testsuite": [
        { "src-dir": "examples",
          "modules": [ "DefaultRulesTest", "DetOps", "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"
    }
}