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/loops/sum01_bug02_sum01_bug02_base.case.i
programSHA aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
witnessName results-validated/tbf-testsuite-validator-symbiotic.2019-02-06_1452.logfiles/test-comp19_prop-coverage-branches.sum01_bug02_sum01_bug02_base.case.yml.files/test-suite.zip
witnessSHA 57a126d9c54c6ae4985544125db291eec2fdc3c6be5c93f08632d0644dd36670

Information about the Test-Suite from Competition Database

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

Key Value
architecture 64bit
creationtime 2019-02-06T14:55 CET (comp)
entryfunction main
error-specification-exists Key 'specification' not present.
producer Symbiotic
program-sha256 aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
programfile /tmp/vcloud-vcloud-master/worker/working_dir_5635f7b1-e0c4-44ec-a937-8c00e399380c/sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i
programhash aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
sourcecodelang C
witness-file fileByHash/57a126d9c54c6ae4985544125db291eec2fdc3c6be5c93f08632d0644dd36670.zip
witness-number-of-tests 1
witness-sha256 57a126d9c54c6ae4985544125db291eec2fdc3c6be5c93f08632d0644dd36670
witness-size 2698
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, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9).

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

Trying to find witnesses for program (aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9, sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9.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 (aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9, sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9.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 (aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9, sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9.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 (aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9, sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9.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 (aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9, sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i).

Found 14 witnesses for program sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 952f918 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 21 18 Mon Dec 9 02:32:21 CET 2019
Download c8cc24d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 21 19 Mon Dec 9 00:52:26 CET 2019
Download 925828e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 8 36 2019-12-09T14:38:13Z
Download 17b2a90 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 3 8 2019-12-09 11:52:59
Download af28472 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 6 44 2019-12-08T23:02:42Z
Download 7be259e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 9 4 2019-12-08T21:03:12+01:00
Download 3c09a3d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 6 20 2019-12-09T19:20:40Z
Download 6071780 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 7 2019-12-09 10:29:32
Download bd06f1d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 5 2019-12-09T09:44:20Z
Download 701ef13 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T06:29:14+01:00
Download 93e7d4d Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 4 2 2019-12-09T01:06:40+01:00
Download 31407c2 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T05:30:00+01:00
Download accfc4d Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 7 4 2019-12-09 05:19:37.847928
Download 8655ef9 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 5 3 2019-12-08 22:23:19.854009

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

Trying to find witnesses for program (aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9, sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i).

Found 9 witnesses for program sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.i, aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/aa3e3a088d745baf78125ccd5627a9c2350b21a28a440a5222651503a55ad4f9.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 7b70e1d Inspect Inspect
Validate
test-suite Symbiotic 1 3 2019-02-06T14:55 CET (comp)
Download 595afd6 Inspect Inspect
Validate
test-suite Symbiotic 3 2 2019-02-06T13:18 CET (comp)
Download f8e5186 Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T12:10 CET (comp)
Download ffb4eca Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 8 50 2019-02-06T03:20:38Z
Download 050c99c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 1 3 2019-02-05T23:40:58+01:00
Download 3176ddd Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 3 2019-02-06T02:28:58Z
Download 9823a60 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 3 2019-02-06T02:35:36+01:00
Download e344d78 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 6 3 2019-02-06T05:26:35+01:00
Download df02a2d Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 3 2019-02-06T01:35:40+01:00