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/symbiotic.2019-02-06_0707.logfiles/test-comp19_prop-coverage-error-call.Problem03_label43.yml.files/test-suite.zip
witnessSHA 9027eb813f368704e37cf7a96b209f2bce1e812ec045ae1ff7f08802c6de6dd6

Information about the Test-Suite from Competition Database

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

Key Value
architecture 64bit
creationtime 2019-02-06T13:41 CET (comp)
entryfunction main
error-specification-exists Key 'specification' not present.
producer Symbiotic
program-sha256 ff766465b4fb563e49220a7d767db6a205fa800df7586eb9629babc0a4694abd
programfile /tmp/vcloud-vcloud-master/worker/working_dir_3fb11a04-6b7e-4031-9f4f-99ebb1e1154c/sv-benchmarks/c/eca-rers2012/Problem03_label43.c
programhash ff766465b4fb563e49220a7d767db6a205fa800df7586eb9629babc0a4694abd
sourcecodelang C
witness-file fileByHash/9027eb813f368704e37cf7a96b209f2bce1e812ec045ae1ff7f08802c6de6dd6.zip
witness-number-of-tests 1
witness-sha256 9027eb813f368704e37cf7a96b209f2bce1e812ec045ae1ff7f08802c6de6dd6
witness-size 932
witness-type test-suite

The following keys are missing in the witness XML file: specification.

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

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