[
    {
        "name": "slv 1.0: pools, iv-expression, no-heta",
        "sourcePath": "../cases/1.0/model.slv",
        "slvjsPath": "../cases/1.0/master/slvjs.json"
    },
    {
        "name": "slv 1.1: time-events",
        "sourcePath": "../cases/1.1/model.slv",
        "slvjsPath": "../cases/1.1/master/slvjs.json",
        "hetajsPath": "../cases/1.1/master/hetajs.json",
        "hetaPath": "../cases/1.1/master/heta.heta"
    },
    {
        "name": "slv 2.1: time-events, pools",
        "sourcePath": "../cases/2.1/model.slv",
        "slvjsPath": "../cases/2.1/master/slvjs.json",
        "hetajsPath": "../cases/2.1/master/hetajs.json",
        "hetaPath": "../cases/2.1/master/heta.heta"
    },
    {
        "name": "slv 2.2: time-events",
        "sourcePath": "../cases/2.2/model.slv",
        "slvjsPath": "../cases/2.2/master/slvjs.json",
        "hetajsPath": "../cases/2.2/master/hetajs.json",
        "hetaPath": "../cases/2.2/master/heta.heta"
    },
    {
        "name": "slv 3.0: pools, iv-expression, no-heta, old-reactions",
        "sourcePath": "../cases/3.0/model.slv",
        "slvjsPath": "../cases/3.0/master/slvjs.json"
    },
    {
        "name": "slv 4.0: records, events",
        "sourcePath": "../cases/4.0/model.slv",
        "slvjsPath": "../cases/4.0/master/slvjs.json",
        "hetajsPath": "../cases/4.0/master/hetajs.json",
        "hetaPath": "../cases/4.0/master/heta.heta"
    },
    {
        "name": "slv 4.2: records, if-else, events-off",
        "sourcePath": "../cases/4.2/model.slv",
        "slvjsPath": "../cases/4.2/master/slvjs.json",
        "hetajsPath": "../cases/4.2/master/hetajs.json",
        "hetaPath": "../cases/4.2/master/heta.heta"
    },
    {
        "name": "slv 5.1: records, old-reactions, nb-ne",
        "sourcePath": "../cases/5.1/model.slv",
        "slvjsPath": "../cases/5.1/master/slvjs.json",
        "hetajsPath": "../cases/5.1/master/hetajs.json",
        "hetaPath": "../cases/5.1/master/heta.heta"
    }
]