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/test23-1.c
programSHA	7199bb1ae028bfd54797ae9e20ea8503782f8d5b5263b3d19c62d359bf4d24ea
witnessName	results-verified/verifuzz.2019-02-06_0717.logfiles/test-comp19_prop-coverage-error-call.test23-1.yml.files/test-suite.zip
witnessSHA	a903d6fe052cd7557646f1967df659a68deb29e3845a79ef2f80da0eb14cb863

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06-13:24:17
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	verifuzz
programfile	/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/test23-1.c
programhash	0f27aa576a70a71a748b084d124e620f450f0dfa
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file	fileByHash/a903d6fe052cd7557646f1967df659a68deb29e3845a79ef2f80da0eb14cb863.zip
witness-number-of-tests	1
witness-sha256	a903d6fe052cd7557646f1967df659a68deb29e3845a79ef2f80da0eb14cb863
witness-size	980
witness-type	test-suite

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

Trying to find witnesses for program (7199bb1ae028bfd54797ae9e20ea8503782f8d5b5263b3d19c62d359bf4d24ea, sv-benchmarks/c/ldv-regression/test23-1.c).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
60d72f0	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	12	15	Mon Dec 9 09:35:45 CET 2019
bed23a4	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	12	15	Mon Dec 9 05:37:07 CET 2019
4400caf	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	4	20	2019-12-09T14:08:03Z
3dfee48	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	2	8	2019-12-09 10:28:28
48cb780	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	4	6	2019-12-09T06:36:52Z
c230c49	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	9	4	2019-12-09T02:29:12+01:00
0831356	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	2	19	2019-12-09T15:02:17Z
1951a41	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	9	2019-12-09 11:36:19
41df505	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	5	2019-12-09T10:02:00Z
faf1d65	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T02:16:04+01:00
0d38d7e	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	7	3	2019-12-09T08:01:55+01:00
d727e44	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T04:59:30+01:00
fbd93a0	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	777	363	2019-12-09 09:57:25.005648
05f56f1	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	6	3	2019-12-08 22:41:47.466947

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

Trying to find witnesses for program (7199bb1ae028bfd54797ae9e20ea8503782f8d5b5263b3d19c62d359bf4d24ea, sv-benchmarks/c/ldv-regression/test23-1.c).

Found 9 witnesses for program sv-benchmarks/c/ldv-regression/test23-1.c, 7199bb1ae028bfd54797ae9e20ea8503782f8d5b5263b3d19c62d359bf4d24ea
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/7199bb1ae028bfd54797ae9e20ea8503782f8d5b5263b3d19c62d359bf4d24ea.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
01b55e9	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
4140d71	Inspect			test-suite	Symbiotic	2	1	2019-02-06T13:27 CET (comp)
09009a4	Inspect			test-suite	Symbiotic	1	1	2019-02-06T08:21 CET (comp)
a74b3d2	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	11	9	2019-02-06T04:56:06Z
c30b599	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	9	4	2019-02-06T03:46:23+01:00
249d2de	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	5	2019-02-06T05:45:56Z
5e2892d	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-06T00:26:02+01:00
a0164ba	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	7	4	2019-02-06T05:03:15+01:00
de5843c	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-05T22:49:48+01:00