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/Problem06_label02.c
programSHA 6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62
witnessName results-verified/symbiotic.2019-02-06_0707.logfiles/test-comp19_prop-coverage-error-call.Problem06_label02.yml.files/test-suite.zip
witnessSHA 98ad2cef1234df54e38745ebb1ccfeee86e13a904b84b7eb5042cd1858464f7c

Information about the Test-Suite from Competition Database

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

Key Value
architecture 64bit
creationtime 2019-02-06T12:32 CET (comp)
entryfunction main
error-specification-exists Key 'specification' not present.
producer Symbiotic
program-sha256 6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62
programfile /tmp/vcloud-vcloud-master/worker/working_dir_022f9456-3d28-4afe-b243-e847c4cb76b1/sv-benchmarks/c/eca-rers2012/Problem06_label02.c
programhash 6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62
sourcecodelang C
witness-file fileByHash/98ad2cef1234df54e38745ebb1ccfeee86e13a904b84b7eb5042cd1858464f7c.zip
witness-number-of-tests 1
witness-sha256 98ad2cef1234df54e38745ebb1ccfeee86e13a904b84b7eb5042cd1858464f7c
witness-size 935
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, 6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62).

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

Trying to find witnesses for program (6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62, sv-benchmarks/c/eca-rers2012/Problem06_label02.c).

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 6acf1bf Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2359 2570 Mon Dec 9 10:46:39 CET 2019
Download 9dbdf0b Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2388 2584 Mon Dec 9 06:54:50 CET 2019
Download 28532c2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 3982 11371 2019-12-09T19:07:11Z
Download 4521527 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 1200 2019-12-09 11:41:51
Download 54307bd Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 386 425 2019-12-09T07:45:17Z
Download 8a21559 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 107 38 2019-12-09T06:22:10+01:00
Download 492e060 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 3933 11242 2019-12-09T18:45:56Z
Download a652c3f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 1539 2019-12-09 11:49:10
Download d6413a3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 185 2019-12-08T23:56:45Z
Download 841586c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T01:14:35+01:00
Download b8e9710 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 37 14 2019-12-09T07:51:28+01:00
Download c293824 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T04:27:57+01:00
Download 251e1f2 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 83 36 2019-12-09 04:05:08.703090
Download b9ede13 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 96 42 2019-12-08 23:06:31.433689

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

Trying to find witnesses for program (6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62, sv-benchmarks/c/eca-rers2012/Problem06_label02.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download f5566fd Inspect Inspect
Validate
test-suite Symbiotic 1 52 2019-02-06T14:54 CET (comp)
Download 98ad2ce Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T12:32 CET (comp)
Download dbbf75f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 53 2019-02-05T23:43:36Z
Download 18c57c6 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 99 35 2019-02-06T04:48:30+01:00
Download 48227b2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 380 2019-02-06T03:54:10Z
Download adb7f06 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 52 2019-02-05T22:34:18+01:00
Download e353e99 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 407 156 2019-02-06T03:18:10+01:00
Download a90847b Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 1 2019-02-06T05:08:54+01:00