Test-Suite Inspection

View and Validate the Test-Suite

Input Given to this Service about the Test-Suite (URL Query)

Key Value
programName sv-benchmarks/c/eca-rers2012/Problem04_label31.c
programSHA f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
witnessName results-verified/verifuzz.2019-02-06_0717.logfiles/test-comp19_prop-coverage-error-call.Problem04_label31.yml.files/test-suite.zip
witnessSHA d8088b72c67cde17bcd254fbca8f80f2f33a516e4d3239fc07f412eb322db26e

Information about the Test-Suite from Competition Database

from https://test-comp.sosy-lab.org/2019/results/witnessInfoByHash/d8088b72c67cde17bcd254fbca8f80f2f33a516e4d3239fc07f412eb322db26e.json

Key Value
architecture 32bit
creationtime 2019-02-06-13:53:20
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
producer verifuzz
programfile /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/Problem04_label31.c
programhash a9c4bee02569fee29c95dbfa31c2a03f60114652
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/d8088b72c67cde17bcd254fbca8f80f2f33a516e4d3239fc07f412eb322db26e.zip
witness-number-of-tests 1
witness-sha256 d8088b72c67cde17bcd254fbca8f80f2f33a516e4d3239fc07f412eb322db26e
witness-size 983
witness-type test-suite

Available Results for the Program from Test-Suite Store Test-Comp '24

Trying to find witnesses for program (f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714, sv-benchmarks/c/eca-rers2012/Problem04_label31.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label31.c, f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite

Available Results for the Program from Test-Suite Store Test-Comp '23

Trying to find witnesses for program (f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714, sv-benchmarks/c/eca-rers2012/Problem04_label31.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label31.c, f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite

Available Results for the Program from Test-Suite Store Test-Comp '22

Trying to find witnesses for program (f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714, sv-benchmarks/c/eca-rers2012/Problem04_label31.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label31.c, f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite

Available Results for the Program from Test-Suite Store Test-Comp '21

Trying to find witnesses for program (f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714, sv-benchmarks/c/eca-rers2012/Problem04_label31.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label31.c, f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite

Available Results for the Program from Test-Suite Store Test-Comp '20

Trying to find witnesses for program (f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714, sv-benchmarks/c/eca-rers2012/Problem04_label31.c).

Found 14 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label31.c, f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download fc06a6a Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2462 1998 Mon Dec 9 10:24:43 CET 2019
Download 49ccc24 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2494 2011 Mon Dec 9 03:47:21 CET 2019
Download ad45895 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 2712 16995 2019-12-09T18:55:14Z
Download f02fbd1 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 676 2019-12-09 11:52:23
Download 37e1c2e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 647 436 2019-12-09T09:52:55Z
Download 81cd615 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 133 48 2019-12-09T09:12:03+01:00
Download 9237cdc Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 2587 16773 2019-12-09T16:25:01Z
Download 217bf9f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 882 2019-12-09 11:08:51
Download 2e57e33 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 106 2019-12-09T07:38:43Z
Download 98e61c3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-08T22:30:45+01:00
Download e93f81f Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 22 9 2019-12-09T07:52:06+01:00
Download 8bca615 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T04:48:27+01:00
Download 3d7d757 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 172 74 2019-12-09 08:47:36.442558
Download e499187 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 160 70 2019-12-09 01:08:32.633631

Available Results for the Program from Test-Suite Store Test-Comp '19

Trying to find witnesses for program (f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714, sv-benchmarks/c/eca-rers2012/Problem04_label31.c).

Found 8 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label31.c, f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/f1cc485a3cc435ab856b7b929454f9a9818f14713400066caef943a75ad08714.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 73d4e11 Inspect Inspect
Validate
test-suite Symbiotic 1 23 2019-02-06T14:54 CET (comp)
Download fd96233 Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T11:30 CET (comp)
Download f0a09f9 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 24 2019-02-05T22:12:42Z
Download 225f8a4 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 270 96 2019-02-05T21:06:38+01:00
Download 44e4ff4 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 210 2019-02-05T23:27:45Z
Download d9986d5 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 23 2019-02-06T04:28:23+01:00
Download c28cca2 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 481 186 2019-02-05T22:38:54+01:00
Download bd329e8 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 1 2019-02-05T21:22:58+01:00