Test-Suite Inspection

View and Validate the Test-Suite

View Test-Suite

Input Given to this Service about the Test-Suite (URL Query)

Key	Value
programName	sv-benchmarks/c/ldv-regression/test28-1.c
programSHA	25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656
witnessName	results-validated/tbf-testsuite-validator-klee.2019-02-06_0616.logfiles/test-comp19_prop-coverage-error-call.test28-1.yml.files/test-suite.zip
witnessSHA	86588ce860678e2edd2d94a095026db13fe273211e3e2b1be41ad5a4313abceb

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	64bit
creationtime	2019-02-06T02:58:02Z
entryfunction	main
producer	KLEE 2.0.0-pre-test-comp
program-sha256	25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656
programfile	test28-1.c.c
programhash	25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file	fileByHash/86588ce860678e2edd2d94a095026db13fe273211e3e2b1be41ad5a4313abceb.zip
witness-number-of-tests	1
witness-sha256	86588ce860678e2edd2d94a095026db13fe273211e3e2b1be41ad5a4313abceb
witness-size	2752
witness-type	test-suite

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

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

Trying to find witnesses for program (25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656, sv-benchmarks/c/ldv-regression/test28-1.c).

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

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

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

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

Found 14 witnesses for program sv-benchmarks/c/ldv-regression/test28-1.c, 25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
da5c459	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	8	11	Sun Dec 8 23:10:43 CET 2019
70fb1c6	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	8	11	Mon Dec 9 00:17:19 CET 2019
fb33f78	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	2	18	2019-12-09T19:34:14Z
bd11991	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	2	7	2019-12-09 11:41:43
a0b2f39	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	3	5	2019-12-09T07:34:08Z
c391e65	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	7	3	2019-12-09T00:46:02+01:00
dc5aed7	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	17	2019-12-09T16:19:40Z
b235b2b	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	7	2019-12-09 11:47:08
c9eb9e1	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-09T03:38:05Z
f64eb61	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T03:29:25+01:00
46697ef	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	2	1	2019-12-09T03:17:05+01:00
64a62c2	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T06:00:17+01:00
79d6c93	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	908	391	2019-12-09 08:13:18.697044
71286de	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	6	3	2019-12-09 07:16:50.999450

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

Trying to find witnesses for program (25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656, sv-benchmarks/c/ldv-regression/test28-1.c).

Found 10 witnesses for program sv-benchmarks/c/ldv-regression/test28-1.c, 25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/25b5a0090b9ae7194828d2350bbf98509b61e6f16494ee54aaf65615a3630656.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
7b724de	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
3056e28	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:54 CET (comp)
27d210d	Inspect			test-suite	Symbiotic	1	1	2019-02-06T11:48 CET (comp)
a18fb75	Inspect			test-suite	Symbiotic	2	1	2019-02-06T10:23 CET (comp)
1b86cc7	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	4	5	2019-02-06T01:07:01Z
d49eaf7	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-05T21:44:56+01:00
df635e3	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	4	2019-02-06T02:58:02Z
13ddf1a	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-05T21:21:13+01:00
b28c755	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T01:29:59+01:00
3985f31	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T04:33:51+01:00