{ "architecture": "32bit", "creationtime": "2019-02-06T00:48:58.746783", "entryfunction": "main", "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.", "programfile": "../../sv-benchmarks/c/recursive/BallRajamani-SPIN2000-Fig1.c", "programhash": "ccae6f392e1d87c0b193f39dee91a5c51306cb93", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/099c03840a63fc3d98540d7b4209b870cfd4a293c7bbcc791c070c0ea9d3ed47.zip", "witness-number-of-tests": 1, "witness-sha256": "099c03840a63fc3d98540d7b4209b870cfd4a293c7bbcc791c070c0ea9d3ed47", "witness-size": 2797, "witness-type": "test-suite" }