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/trex02-2.c
programSHA	6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb
witnessName	results-validated/tbf-testsuite-validator-esbmc-falsi.2019-02-06_0616.logfiles/test-comp19_prop-coverage-error-call.trex02-2.yml.files/test-suite.zip
witnessSHA	d1e953acf01f79c92c053fe4608a0a3066ad82bd2ee3ae84c40d8cce208970fc

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06T04:42:22.029877
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
programfile	../../sv-benchmarks/c/loops/trex02-2.c
programhash	59f6b3c0f7e8d2484e4b4c0024f7066a0853dc90
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file	fileByHash/d1e953acf01f79c92c053fe4608a0a3066ad82bd2ee3ae84c40d8cce208970fc.zip
witness-number-of-tests	1
witness-sha256	d1e953acf01f79c92c053fe4608a0a3066ad82bd2ee3ae84c40d8cce208970fc
witness-size	2710
witness-type	test-suite

The following keys are missing in the witness XML file: producer.

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

Trying to find witnesses for program (6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb, sv-benchmarks/c/loops/trex02-2.c).

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

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

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

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

Found 14 witnesses for program sv-benchmarks/c/loops/trex02-2.c, 6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
82c3328	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	32	29	Mon Dec 9 08:32:24 CET 2019
3ca6634	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	32	30	Mon Dec 9 03:50:58 CET 2019
fd3629e	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	12	32	2019-12-09T18:49:55Z
0ead2e1	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	4	9	2019-12-09 11:55:37
beec430	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	5	86	2019-12-09T01:16:21Z
d20652e	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	6	3	2019-12-09T07:39:12+01:00
21bd260	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	18	2019-12-09T16:11:59Z
4c92178	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	7	2019-12-09 11:47:17
cdabf81	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	5	2019-12-09T00:07:50Z
0f84903	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T06:56:51+01:00
86b7403	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	4	2	2019-12-09T04:52:37+01:00
818a2c9	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T10:55:00+01:00
4911856	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	22	10	2019-12-09 10:52:49.000923
b78d9e1	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	5	3	2019-12-08 23:07:01.942964

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

Trying to find witnesses for program (6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb, sv-benchmarks/c/loops/trex02-2.c).

Found 10 witnesses for program sv-benchmarks/c/loops/trex02-2.c, 6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/6bcd20505f762861980c6d9f1c8120baab3faf86f08f5520e08c4472ad777dcb.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
09d377e	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
3e6cc94	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:54 CET (comp)
0b7575a	Inspect			test-suite	Symbiotic	3	2	2019-02-06T13:43 CET (comp)
a1caada	Inspect			test-suite	Symbiotic	1	1	2019-02-06T10:16 CET (comp)
3b59202	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	3	2019-02-06T02:07:27Z
9ef88a9	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	6	3	2019-02-06T03:27:03+01:00
e3653de	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	3	2019-02-06T04:27:49Z
bec6017	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-06T03:41:14+01:00
0a0cc9a	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	5	3	2019-02-06T02:38:53+01:00
12a89de	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T05:12:05+01:00