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/loops/vogal-2.i
programSHA	0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77
witnessName	results-validated/tbf-testsuite-validator-klee.2019-02-06_0616.logfiles/test-comp19_prop-coverage-branches.vogal-2.yml.files/test-suite.zip
witnessSHA	5127dae9f24f8dd611177746086a66dd0eb8b9aa7cbc957313ac20953c818184

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	64bit
creationtime	2019-02-06T04:13:04Z
entryfunction	main
producer	KLEE 2.0.0-pre-test-comp
program-sha256	0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77
programfile	vogal-2.i.c
programhash	0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )
witness-file	fileByHash/5127dae9f24f8dd611177746086a66dd0eb8b9aa7cbc957313ac20953c818184.zip
witness-number-of-tests	1
witness-sha256	5127dae9f24f8dd611177746086a66dd0eb8b9aa7cbc957313ac20953c818184
witness-size	2942
witness-type	test-suite

This witness was created for this program (cf. table above, 0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77).

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

Trying to find witnesses for program (0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77, sv-benchmarks/c/loops/vogal-2.i).

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

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

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

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

Found 14 witnesses for program sv-benchmarks/c/loops/vogal-2.i, 0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
0376ab9	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	21	21	Mon Dec 9 01:48:43 CET 2019
5d5b871	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	21	20	Mon Dec 9 01:11:59 CET 2019
981513a	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	1322	553	2019-12-09T18:58:31Z
8102000	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	3	12	2019-12-09 10:37:16
2493304	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	6	8	2019-12-09T03:25:48Z
706eb09	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	16	6	2019-12-09T05:31:05+01:00
e6f4337	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	3	20	2019-12-09T15:14:50Z
bbd24b2	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	12	2019-12-09 11:35:51
a9615f9	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	6	2019-12-09T07:01:17Z
c634a6e	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T00:27:58+01:00
83c84d0	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	7	3	2019-12-09T10:50:11+01:00
f7d2fe7	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T00:12:33+01:00
c5e148d	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	478	216	2019-12-09 00:28:34.056203
5589b0c	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	24	11	2019-12-08 21:56:45.403375

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

Trying to find witnesses for program (0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77, sv-benchmarks/c/loops/vogal-2.i).

Found 9 witnesses for program sv-benchmarks/c/loops/vogal-2.i, 0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
62d9363	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
e744b28	Inspect			test-suite	Symbiotic	1	1	2019-02-06T13:20 CET (comp)
d47260b	Inspect			test-suite	Symbiotic	2	1	2019-02-06T11:57 CET (comp)
58547c2	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	13	42	2019-02-06T04:13:04Z
413c5a6	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-06T03:07:43+01:00
1943fbf	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	5	2019-02-05T23:16:43Z
23f30f1	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-06T01:16:08+01:00
208aaa4	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-05T21:53:38+01:00
da0dc8f	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T04:39:25+01:00