{ "architecture": "32bit", "creationtime": "2019-02-06-09:46:12\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/Problem06_label05.c", "programhash": "599656cb0b32fdeef1ae64c356ca42b05ece502f", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/add2efdd6e7a87d52aac580b8ed909b5923dc9ad2763d11e38b0946cb1e27ea5.zip", "witness-number-of-tests": 1, "witness-sha256": "add2efdd6e7a87d52aac580b8ed909b5923dc9ad2763d11e38b0946cb1e27ea5", "witness-size": 962, "witness-type": "test-suite" }