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/terminator_01.c
programSHA	d83016a84035748ab139c4c389bcd8ecf2967e3d5cc8e9380304f3a0dcc4f255
witnessName	results-verified/prtest.2019-02-06_0602.logfiles/test-comp19_prop-coverage-branches.terminator_01.yml.files/test-suite.zip
witnessSHA	43dd97a74205fa611fe191bfd68803ca02b6a3c5d461fa0d610c0b29275c7a1e

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06 06:16:04.434213
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	prtest
programfile	/tmp/vcloud-vcloud-master/worker/working_dir_1ba91ab0-c571-4bd2-8de7-0115963c043f/sv-benchmarks/c/loops/terminator_01.c
programhash	32428afd68005bcf440791010506ff25981be905
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@BASICBLOCKENTRY)) )
witness-file	fileByHash/43dd97a74205fa611fe191bfd68803ca02b6a3c5d461fa0d610c0b29275c7a1e.zip
witness-number-of-tests	0
witness-sha256	43dd97a74205fa611fe191bfd68803ca02b6a3c5d461fa0d610c0b29275c7a1e
witness-size	601
witness-type	test-suite

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

Trying to find witnesses for program (d83016a84035748ab139c4c389bcd8ecf2967e3d5cc8e9380304f3a0dcc4f255, sv-benchmarks/c/loops/terminator_01.c).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
f02d71c	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	16	16	Sun Dec 8 22:04:36 CET 2019
a3ebf53	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	16	16	Mon Dec 9 01:39:32 CET 2019
b615525	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	2	42	2019-12-09T16:09:13Z
493e65d	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	2	7	2019-12-09 11:44:05
fbcd31a	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-09T10:22:47Z
1f9ee3d	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	3	2	2019-12-09T06:32:40+01:00
4afcb18	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	17	2019-12-09T14:43:34Z
7ac3061	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	7	2019-12-09 11:49:05
387c565	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-08T22:08:32Z
8932aea	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T02:42:35+01:00
4a0e0dd	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	2	1	2019-12-09T11:01:32+01:00
431af9a	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T03:52:43+01:00
8a0a98c	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	6	3	2019-12-09 04:24:19.352898
b0dce2b	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	23	10	2019-12-09 03:06:20.046190

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

Trying to find witnesses for program (d83016a84035748ab139c4c389bcd8ecf2967e3d5cc8e9380304f3a0dcc4f255, sv-benchmarks/c/loops/terminator_01.c).

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
d749f4d	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
cf79acf	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:54 CET (comp)
2c34b22	Inspect			test-suite	Symbiotic	1	1	2019-02-06T14:03 CET (comp)
3536eee	Inspect			test-suite	Symbiotic	1	1	2019-02-06T09:08 CET (comp)
f143149	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	3	2019-02-05T21:39:52Z
2e945af	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-06T03:06:00+01:00
5ddcd95	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	4	2019-02-06T04:35:32Z
b9eedba	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-05T23:15:34+01:00
3374319	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T02:07:09+01:00
02b8ccd	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T01:14:05+01:00