{
    "architecture": "32bit",
    "creationtime": "2019-02-06 11:18:00.988507",
    "entryfunction": "main",
    "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.",
    "producer": "prtest",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_bdeff748-41c3-455b-9b0b-32e71a49f664/sv-benchmarks/c/eca-rers2012/Problem04_label03.c",
    "programhash": "c4a7926950d495e4304e18c122afe56ada038839",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@BASICBLOCKENTRY)) )",
    "witness-file": "fileByHash/03e99cb2ff097e141266bc6a13323d2b869a6e9b6f25abd50f9dd9ef1427b546.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "03e99cb2ff097e141266bc6a13323d2b869a6e9b6f25abd50f9dd9ef1427b546",
    "witness-size": 1789,
    "witness-type": "test-suite"
}