{ "architecture": "32bit", "creationtime": "2019-02-06-09:18:48\n", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "verifuzz", "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/byte_add_2-2.i", "programhash": "8e049c2cb290d4dff4db7ef737df282028b98efb", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)))", "witness-file": "fileByHash/1e4fcd6456b2c115f2d467c9b0d918eb30eaf1309cced233035405bda0394566.zip", "witness-number-of-tests": 7, "witness-sha256": "1e4fcd6456b2c115f2d467c9b0d918eb30eaf1309cced233035405bda0394566", "witness-size": 3189, "witness-type": "test-suite" }