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/bitvector-loops/diamond_2-1.c
programSHA	d0db2bf4317044d0c62cd22a0b3d8d2418b79c350034106aa248c8738ec1ae3f
witnessName	results-verified/fairfuzz.2019-02-08_0939.logfiles/test-comp19_prop-coverage-branches.diamond_2-1.yml.files/test-suite.zip
witnessSHA	8132ed34048b593889b5ca040e63edfb43bf437df94747a536cdc67f33737728

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-08T10:47:03+00:00
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	FairFuzz TC-0.0.2
programfile	../../sv-benchmarks/c/bitvector-loops/diamond_2-1.c
programhash	d0db2bf4317044d0c62cd22a0b3d8d2418b79c350034106aa248c8738ec1ae3f -
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )
witness-file	fileByHash/8132ed34048b593889b5ca040e63edfb43bf437df94747a536cdc67f33737728.zip
witness-number-of-tests	2
witness-sha256	8132ed34048b593889b5ca040e63edfb43bf437df94747a536cdc67f33737728
witness-size	1341
witness-type	test-suite

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

Trying to find witnesses for program (d0db2bf4317044d0c62cd22a0b3d8d2418b79c350034106aa248c8738ec1ae3f, sv-benchmarks/c/bitvector-loops/diamond_2-1.c).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
f7472c5	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	14	Mon Dec 9 00:53:13 CET 2019
fdde1d0	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	14	Mon Dec 9 00:19:59 CET 2019
a32bc89	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	2	20	2019-12-09T17:48:01Z
9f0d6dc	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	2	10	2019-12-09 11:55:52
c82a189	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	3	6	2019-12-09T09:49:22Z
133e6c0	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	23	9	2019-12-09T05:18:07+01:00
81b902f	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	19	2019-12-09T18:36:23Z
5db0fe3	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	9	2019-12-09 11:36:14
6e0fc67	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	5	2019-12-09T02:33:28Z
1ae43bc	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-08T22:33:33+01:00
e6b579c	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	2	1	2019-12-09T09:20:35+01:00
077ddfa	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-08T21:15:40+01:00
484aed7	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	5	3	2019-12-09 00:56:15.928460
8bb6c03	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	774	340	2019-12-08 22:18:35.663032

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

Trying to find witnesses for program (d0db2bf4317044d0c62cd22a0b3d8d2418b79c350034106aa248c8738ec1ae3f, sv-benchmarks/c/bitvector-loops/diamond_2-1.c).

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
0d79dd2	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
f994b03	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:54 CET (comp)
2d3e464	Inspect			test-suite	Symbiotic	2	1	2019-02-06T14:09 CET (comp)
3c8ea61	Inspect			test-suite	Symbiotic	1	1	2019-02-06T11:10 CET (comp)
1c67d78	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	3	2019-02-06T00:42:00Z
7e7f8d4	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-05T22:59:27+01:00
72e4155	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	5	2019-02-05T21:21:16Z
0c6127a	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-06T01:15:54+01:00
f63d7df	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-05T21:21:47+01:00
f39d821	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T04:16:13+01:00