{ "architecture": "32bit", "creationtime": "2019-02-05T23:10:07+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30375", "program-sha256": "0705dc4f87828fe23477849ee500ca109b92481aa33e7c5eb2e2979158175ad0", "programfile": "../../sv-benchmarks/c/ntdrivers-simplified/floppy_simpl3.cil-1.c", "programhash": "0705dc4f87828fe23477849ee500ca109b92481aa33e7c5eb2e2979158175ad0", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/5ebb5beb7d308f877b3fc72a0bbab423453dea2ade5f2d5ac7b62c4782cb3df3.zip", "witness-number-of-tests": 1, "witness-sha256": "5ebb5beb7d308f877b3fc72a0bbab423453dea2ade5f2d5ac7b62c4782cb3df3", "witness-size": 1058, "witness-type": "test-suite" }