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/ldv-regression/test29-2.c
programSHA 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
witnessName results-verified/symbiotic.2019-02-06_0707.logfiles/test-comp19_prop-coverage-branches.test29-2.yml.files/test-suite.zip
witnessSHA bb6549a62d4c29d9a3021b3d945070fa2dae3a68a43a416bfb6dd349582238c4

Information about the Test-Suite from Competition Database

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

Key Value
architecture 64bit
creationtime 2019-02-06T09:33 CET (comp)
entryfunction main
error-specification-exists Key 'specification' not present.
producer Symbiotic
program-sha256 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
programfile /tmp/vcloud-vcloud-master/worker/working_dir_d7643173-7455-4ebd-8298-b7f00ad71090/sv-benchmarks/c/ldv-regression/test29-2.c
programhash 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
sourcecodelang C
witness-file fileByHash/bb6549a62d4c29d9a3021b3d945070fa2dae3a68a43a416bfb6dd349582238c4.zip
witness-number-of-tests 2
witness-sha256 bb6549a62d4c29d9a3021b3d945070fa2dae3a68a43a416bfb6dd349582238c4
witness-size 1242
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, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066).

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

Trying to find witnesses for program (202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066, sv-benchmarks/c/ldv-regression/test29-2.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test29-2.c, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066.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 (202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066, sv-benchmarks/c/ldv-regression/test29-2.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test29-2.c, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066.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 (202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066, sv-benchmarks/c/ldv-regression/test29-2.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test29-2.c, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066.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 (202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066, sv-benchmarks/c/ldv-regression/test29-2.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test29-2.c, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066.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 (202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066, sv-benchmarks/c/ldv-regression/test29-2.c).

Found 7 witnesses for program sv-benchmarks/c/ldv-regression/test29-2.c, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 5172b1e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 6 10 Mon Dec 9 03:04:41 CET 2019
Download fa4cb88 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 2 17 2019-12-09T17:14:14Z
Download d9f4e84 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 2 7 2019-12-09 11:26:54
Download d8ca423 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 2 4 2019-12-08T23:35:34Z
Download aecfba7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 6 3 2019-12-09T01:38:51+01:00
Download 8ed6778 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 2 1 2019-12-09T08:09:22+01:00
Download 5bb29c9 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 889 383 2019-12-08 22:32:07.073397

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

Trying to find witnesses for program (202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066, sv-benchmarks/c/ldv-regression/test29-2.c).

Found 4 witnesses for program sv-benchmarks/c/ldv-regression/test29-2.c, 202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/202d96d05e02650bf08160c92c59e8df143683e0f949fddedf0b326151e4f066.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download bb6549a Inspect Inspect
Validate
test-suite Symbiotic 2 1 2019-02-06T09:33 CET (comp)
Download da886ed Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 3 4 2019-02-06T05:53:09Z
Download a8995a3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 6 3 2019-02-05T21:59:12+01:00
Download ef1fd00 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 2 1 2019-02-06T02:01:16+01:00