{
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:55:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ffe69c93a2f1fff75f1abf3def0bc5021b8363f1bd7936d69c881160e76134cd",
    "programfile": "linear_search.c.c",
    "programhash": "ffe69c93a2f1fff75f1abf3def0bc5021b8363f1bd7936d69c881160e76134cd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d43d796311ea1e780259a350ccef3deb7e311e1154b98603b3628c3d9f738b82.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "d43d796311ea1e780259a350ccef3deb7e311e1154b98603b3628c3d9f738b82",
    "witness-size": 4033,
    "witness-type": "test-suite"
}