{ "architecture": "32bit", "creationtime": "2019-02-06T04:09:21.483744", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label50.c", "programhash": "9dc8301382937bd250c804b76dde449bc2d34eb7", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/0716c61fb9e20f80303cf2db82cfda9747ffee600b94d1854adf017588f94ff1.zip", "witness-number-of-tests": 1, "witness-sha256": "0716c61fb9e20f80303cf2db82cfda9747ffee600b94d1854adf017588f94ff1", "witness-size": 11357, "witness-type": "test-suite" }