{ "architecture": "32bit", "creationtime": "2019-02-06-10:04:03\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/Problem03_label45.c", "programhash": "4fe754d5044f069e37ec0e3e6f72e355e4426732", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/75733770f6146affe4a4617adfa67ceaf2312aeefdac588f3d49cbed3958d50e.zip", "witness-number-of-tests": 1, "witness-sha256": "75733770f6146affe4a4617adfa67ceaf2312aeefdac588f3d49cbed3958d50e", "witness-size": 11390, "witness-type": "test-suite" }