{ "architecture": "32bit", "creationtime": "2019-02-08T11:30:58+00:00 ", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "producer": "FairFuzz TC-0.0.2", "programfile": "../../sv-benchmarks/c/bitvector/interleave_bits.i", "programhash": "cd3f6608778b3f3f8ea6f239db6fa02e9d964069b133bbf5a97b5380ead4ff08 -", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )", "witness-file": "fileByHash/0b35ec302deeaa758d1b905bf9c9d2f25244280dfddb858689a2254d7498b185.zip", "witness-number-of-tests": 1, "witness-sha256": "0b35ec302deeaa758d1b905bf9c9d2f25244280dfddb858689a2254d7498b185", "witness-size": 901, "witness-type": "test-suite" }