{ "architecture": "32bit", "creationtime": "2019-02-06-10:09:31\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/square_2.i", "programhash": "76fa265a03719ac5567a7dfe02b6633825d3d589", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/daf2af43ea8300ad10bb3d9a706ed5aeab795fb4fa2a24966c331b3a9837a59d.zip", "witness-number-of-tests": 1, "witness-sha256": "daf2af43ea8300ad10bb3d9a706ed5aeab795fb4fa2a24966c331b3a9837a59d", "witness-size": 2728, "witness-type": "test-suite" }