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_label38.c
programSHA 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
witnessName results-verified/coveritest.2019-02-05_2105.logfiles/test-comp19_prop-coverage-error-call.Problem04_label38.yml.files/test-suite.zip
witnessSHA 6f2c1cb11dd3eb9cfa044b2cee95f98cfbe7fe2f10e18a42c0b022588d38ae3b

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06T03:22:47+01:00
entryfunction main
producer CPAchecker 1.8-svn 30375
program-sha256 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
programfile ../../sv-benchmarks/c/eca-rers2012/Problem04_label38.c
programhash 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/6f2c1cb11dd3eb9cfa044b2cee95f98cfbe7fe2f10e18a42c0b022588d38ae3b.zip
witness-number-of-tests 1
witness-sha256 6f2c1cb11dd3eb9cfa044b2cee95f98cfbe7fe2f10e18a42c0b022588d38ae3b
witness-size 1028
witness-type test-suite

This witness was created for this program (cf. table above, 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a).

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

Trying to find witnesses for program (3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a, sv-benchmarks/c/eca-rers2012/Problem04_label38.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label38.c, 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a.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 (3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a, sv-benchmarks/c/eca-rers2012/Problem04_label38.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label38.c, 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a.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 (3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a, sv-benchmarks/c/eca-rers2012/Problem04_label38.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label38.c, 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a.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 (3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a, sv-benchmarks/c/eca-rers2012/Problem04_label38.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label38.c, 3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a.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 (3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a, sv-benchmarks/c/eca-rers2012/Problem04_label38.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download bf67cbb Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2526 2030 Sun Dec 8 23:07:49 CET 2019
Download 198bac6 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2470 2004 Mon Dec 9 08:39:09 CET 2019
Download 7e96826 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 2718 16986 2019-12-09T15:14:08Z
Download eb2795c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 676 2019-12-09 11:54:42
Download 4d4a853 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 643 435 2019-12-08T23:48:56Z
Download 488e9a2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 133 48 2019-12-09T02:05:57+01:00
Download f7d11d5 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 2587 16773 2019-12-09T18:18:38Z
Download fe78500 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 882 2019-12-09 11:34:27
Download a9556ce Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 107 2019-12-09T01:23:28Z
Download ee9bbe3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T04:53:20+01:00
Download b08fb61 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 35 13 2019-12-09T06:13:08+01:00
Download 294bbd9 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T11:01:26+01:00
Download 6baf495 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 166 72 2019-12-09 08:31:07.795389
Download db7c839 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 165 72 2019-12-09 07:37:30.593425

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

Trying to find witnesses for program (3de069896805c67b813811cfb26232dc04cf03206a3d478717dff6b4a917154a, sv-benchmarks/c/eca-rers2012/Problem04_label38.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 16fb770 Inspect Inspect
Validate
test-suite Symbiotic 1 23 2019-02-06T14:55 CET (comp)
Download 40ebb8c Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T12:13 CET (comp)
Download abb507f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 24 2019-02-05T23:41:04Z
Download 77137de Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 281 100 2019-02-06T04:10:57+01:00
Download 4a2164c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 207 2019-02-05T22:20:28Z
Download 7925512 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 23 2019-02-06T03:22:47+01:00
Download 00a4eb1 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 483 186 2019-02-06T04:00:51+01:00
Download 1d97841 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 1 2019-02-05T21:19:21+01:00