{ "architecture": "32bit", "creationtime": "2019-02-06-11:17:52\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/recHanoi03-1.c", "programhash": "2909b0133934b96e51d35625dce5b40133b35bc1", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/0ac7c0cd95d2db10909549046865333adcc00d37c6d3116727157895c51463d1.zip", "witness-number-of-tests": 1, "witness-sha256": "0ac7c0cd95d2db10909549046865333adcc00d37c6d3116727157895c51463d1", "witness-size": 2868, "witness-type": "test-suite" }