{ "architecture": "32bit", "creationtime": "2019-02-05T23:32:10+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19", "program-sha256": "67912fc827b945fba985b90b7b4af244b2bc6837c3c88b70bc61df7f1a1e6971", "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label39.c", "programhash": "67912fc827b945fba985b90b7b4af244b2bc6837c3c88b70bc61df7f1a1e6971", "sourcecodelang": "C", "specification": "COVER EDGES(@CALL(__VERIFIER_error))", "witness-file": "fileByHash/7ee363bfa05ed024a7ab0c40c8ae36c92cb624bc25372aa73fb11c28a07c3a09.zip", "witness-number-of-tests": 1, "witness-sha256": "7ee363bfa05ed024a7ab0c40c8ae36c92cb624bc25372aa73fb11c28a07c3a09", "witness-size": 1064, "witness-type": "test-suite" }