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/recursive/EvenOdd03.c
programSHA	c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6
witnessName	results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-branches.EvenOdd03.yml.files/test-suite.zip
witnessSHA	91de0633253a82bc84ac9102a6736f466e7ef32392386afcb856f7740951f574

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06-10:26:16
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	verifuzz
programfile	/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/EvenOdd03.c
programhash	2ef747eadac8554b599032adf25e0882e0359873
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)))
witness-file	fileByHash/91de0633253a82bc84ac9102a6736f466e7ef32392386afcb856f7740951f574.zip
witness-number-of-tests	1
witness-sha256	91de0633253a82bc84ac9102a6736f466e7ef32392386afcb856f7740951f574
witness-size	2829
witness-type	test-suite

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

Trying to find witnesses for program (c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6, sv-benchmarks/c/recursive/EvenOdd03.c).

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

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

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

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

Found 14 witnesses for program sv-benchmarks/c/recursive/EvenOdd03.c, c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
c84523d	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	29	30	Sun Dec 8 23:32:15 CET 2019
ab4992f	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	29	30	Mon Dec 9 02:53:44 CET 2019
bc136e8	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	4	27	2019-12-09T16:14:00Z
604504c	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	2	7	2019-12-09 11:40:17
3434ccc	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	9	95	2019-12-09T04:14:22Z
6fb072c	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	7	3	2019-12-08T21:03:12+01:00
166afc0	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	3	24	2019-12-09T18:39:36Z
43f3378	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	7	2019-12-09 11:43:59
98f59ba	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	5	2019-12-08T22:02:33Z
70bf653	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T05:43:26+01:00
330eebd	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	5	2	2019-12-09T05:26:30+01:00
d97dc89	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T01:18:42+01:00
9419bb5	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	128	53	2019-12-09 08:38:02.317338
a6ace29	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	5	3	2019-12-09 06:43:02.299244

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

Trying to find witnesses for program (c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6, sv-benchmarks/c/recursive/EvenOdd03.c).

Found 10 witnesses for program sv-benchmarks/c/recursive/EvenOdd03.c, c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/c2d9227835ffc2c4a68881fb2a6827cc211039c2af4b032c349d86494bbca0b6.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
98e8961	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
4303404	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:54 CET (comp)
6969e84	Inspect			test-suite	Symbiotic	2	1	2019-02-06T14:26 CET (comp)
b124843	Inspect			test-suite	Symbiotic	1	1	2019-02-06T13:53 CET (comp)
df187d4	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	3	2019-02-06T05:29:54Z
13e7a1d	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-05T21:06:44+01:00
3050995	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	5	2019-02-06T04:24:54Z
b48d5b9	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-06T00:48:56+01:00
285e22c	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	4	2	2019-02-06T04:06:07+01:00
3120a7d	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	0	1	2019-02-06T02:44:39+01:00