Changing test vocabulary/format

[owrel]

From :-1: :

[{
    "name" : "Satisfiability of pathfinding",
    "instance" : [["instances/instance01.lp"],["instances/instance02.lp"]],
    "encoding" : ["pathfinding.lp", "optimization.lp"],
    "controlObject" : "clingo",
    "controlParameters" : [["0"]],
    "testDescription" : [{
        "testName"      : "Must be SAT",
        "functionName"  : "sat",
        "arguments"     : true 
    }]
}]

To :+1: :

[
    {
        "name": "test1",
        "run": {
            "function": ["clingo"],
            "argument": ["--opt-mode=optN --quiet=1 0"],
            "encoding": ["encoding.lp"],
            "instance": ["instance1.lp", "instance2.lp"],
        },
        "evaluate": [
            {
                "name": "subtest1",
                "function": "sat",
                "argument": "true"
            },
            {
                "name": "subtest2",
                "function": "sat",
                "argument": "true"
            }
        ]
    },

    {
        "name": "test2",
        "run": {
            "function": ["clingodl"],
            "argument": [""],
            "encoding": ["encoding.lp"],
            "instance": ["instance1.lp", "instance2.lp"],
        },
        "evaluate": [
            {
                "name": "subtest1",
                "function": "sat",
                "argument": true
            }
        ]
    }
]