{ "architecture": "32bit", "creationtime": "2019-02-06-09:57:45\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/standard_partition_ground-1.i", "programhash": "a20d74ce78ceea9c745751fb051bd807a36eff48", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)))", "witness-file": "fileByHash/d419848ae78fb4e1457fbd614a11d001f34831698c88697557853445f7ab7024.zip", "witness-number-of-tests": 24, "witness-sha256": "d419848ae78fb4e1457fbd614a11d001f34831698c88697557853445f7ab7024", "witness-size": 298276, "witness-type": "test-suite" }