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