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/Problem03_label43.c
programSHA ff766465b4fb563e49220a7d767db6a205fa800df7586eb9629babc0a4694abd
witnessName results-verified/prtest.2019-02-06_0602.logfiles/test-comp19_prop-coverage-branches.Problem03_label43.yml.files/test-suite.zip
witnessSHA 0947571c353bd8a9b76dcdf8acbd24b834a0b1f3ac7c160071135ffda7fb9b02

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06 08:07:54.479417
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
producer prtest
programfile /tmp/vcloud-vcloud-master/worker/working_dir_f4c14c7d-60ea-4dbd-acde-46f0491d00c9/sv-benchmarks/c/eca-rers2012/Problem03_label43.c
programhash 2db0c11d814dfe1e3cc97b6314e8d585dfd00482
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@BASICBLOCKENTRY)) )
witness-file fileByHash/0947571c353bd8a9b76dcdf8acbd24b834a0b1f3ac7c160071135ffda7fb9b02.zip
witness-number-of-tests 4
witness-sha256 0947571c353bd8a9b76dcdf8acbd24b834a0b1f3ac7c160071135ffda7fb9b02
witness-size 1767
witness-type test-suite

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

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

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 37d207f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 480 486 Mon Dec 9 00:08:03 CET 2019
Download 7fcb9de Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 478 485 Mon Dec 9 00:03:00 CET 2019
Download b4a5311 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 20550 45398 2019-12-09T15:46:52Z
Download e2ede95 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 235 2019-12-09 11:49:05
Download df4f36e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 103 168 2019-12-08T23:44:59Z
Download 2ff7265 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 101 36 2019-12-09T04:23:48+01:00
Download bfce769 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 20506 45431 2019-12-09T18:26:45Z
Download 085c9f7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 295 2019-12-09 10:34:47
Download d26c9ab Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 27 2019-12-09T03:41:45Z
Download e4d2af1 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T08:00:08+01:00
Download c3a7f22 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 21 8 2019-12-09T03:45:09+01:00
Download 36a035c Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-08T23:45:52+01:00
Download b8b68e8 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 164 71 2019-12-09 08:23:16.225600
Download 434af43 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 163 71 2019-12-09 02:07:18.390303

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download eec7610 Inspect Inspect
Validate
test-suite Symbiotic 1 11 2019-02-06T14:54 CET (comp)
Download 9027eb8 Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T13:41 CET (comp)
Download f6ff191 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 389 252 2019-02-06T03:07:57Z
Download 31e17ad Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 1 12 2019-02-06T00:40:41+01:00
Download 40beeb8 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 11 2019-02-06T01:39:00Z
Download e61b123 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 1 2019-02-05T21:58:15+01:00
Download 15c9516 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 12 2019-02-06T01:02:57+01:00
Download 5d85a67 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 11 2019-02-06T05:20:48+01:00