{ "architecture": "32bit", "creationtime": "2019-02-06T01:18:02+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19", "program-sha256": "1f2ef3327eef810869ffdab8b668133a62c90b2c872ff7c04665020b83e7207e", "programfile": "../../sv-benchmarks/c/bitvector/s3_clnt_1.BV.c.cil-2.c", "programhash": "1f2ef3327eef810869ffdab8b668133a62c90b2c872ff7c04665020b83e7207e", "sourcecodelang": "C", "specification": "COVER EDGES(@DECISIONEDGE)", "witness-file": "fileByHash/6c563ec7a52a37b34ca1b2326705756519db34ad8019b4948c92d3abdd833290.zip", "witness-number-of-tests": 83, "witness-sha256": "6c563ec7a52a37b34ca1b2326705756519db34ad8019b4948c92d3abdd833290", "witness-size": 47827, "witness-type": "test-suite" }