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/eca-rers2012/Problem06_label02.c
programSHA	6c30464a4483c713f63818c5962aafbefe6160f8f50db8b6db294eac8f35fa62
witnessName	results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-error-call.Problem06_label02.yml.files/test-suite.zip
witnessSHA	609e35b1c9ec79e0617d3c239d63ac8fe228a1c73f9818fd48a5ef0cb920f191

Information about the Test-Suite from Competition Database

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

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

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
6acf1bf	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	2359	2570	Mon Dec 9 10:46:39 CET 2019
9dbdf0b	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	2388	2584	Mon Dec 9 06:54:50 CET 2019
28532c2	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	3982	11371	2019-12-09T19:07:11Z
4521527	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	7	1200	2019-12-09 11:41:51
54307bd	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	386	425	2019-12-09T07:45:17Z
8a21559	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	107	38	2019-12-09T06:22:10+01:00
492e060	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	3933	11242	2019-12-09T18:45:56Z
a652c3f	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	1539	2019-12-09 11:49:10
d6413a3	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	185	2019-12-08T23:56:45Z
841586c	Inspect		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
b8e9710	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	37	14	2019-12-09T07:51:28+01:00
c293824	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T04:27:57+01:00
251e1f2	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	83	36	2019-12-09 04:05:08.703090
b9ede13	Inspect		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
f5566fd	Inspect			test-suite	Symbiotic	1	52	2019-02-06T14:54 CET (comp)
98ad2ce	Inspect			test-suite	Symbiotic	1	1	2019-02-06T12:32 CET (comp)
dbbf75f	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	53	2019-02-05T23:43:36Z
18c57c6	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	99	35	2019-02-06T04:48:30+01:00
48227b2	Inspect		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
adb7f06	Inspect		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
e353e99	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	407	156	2019-02-06T03:18:10+01:00
a90847b	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T05:08:54+01:00