{
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:57:29+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "781b608e7ae79a5038c8e252a3ffa54b948b580eba43e667d73b9b9afa9f5bf9",
    "programfile": "../../sv-benchmarks/c/recursive/recHanoi01.c",
    "programhash": "781b608e7ae79a5038c8e252a3ffa54b948b580eba43e667d73b9b9afa9f5bf9",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/b3a677ff30c318fc13655b2826b3c1ee8fc4411af45159c8b6b6570086c9547a.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b3a677ff30c318fc13655b2826b3c1ee8fc4411af45159c8b6b6570086c9547a",
    "witness-size": 649,
    "witness-type": "test-suite"
}