{ "architecture": "32bit", "creationtime": "2019-02-06-13:22:08\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/pals_floodmax.5.2.ufo.UNBOUNDED.pals.c", "programhash": "d02d42dfd4010df8fa6744b37efbf02d963e985c", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/f3c019e41518d18e19bdfdd1c41d673021d9671d8bd3a83f591773b688724413.zip", "witness-number-of-tests": 1, "witness-sha256": "f3c019e41518d18e19bdfdd1c41d673021d9671d8bd3a83f591773b688724413", "witness-size": 10543, "witness-type": "test-suite" }