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/floats-cdfpl/sine_3.i
programSHA	a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b
witnessName	results-verified/verifuzz.2019-02-06_0717.logfiles/test-comp19_prop-coverage-error-call.sine_3.yml.files/test-suite.zip
witnessSHA	f6e985f19ed3fb0b2289f4ebccebe0308030b3ffc436d0ea8f050b2465a2d00e

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06-14:31:20
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	verifuzz
programfile	/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/sine_3.i
programhash	0fe1621372ce8ae7ba6335f11560bcde2e43b93c
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file	fileByHash/f6e985f19ed3fb0b2289f4ebccebe0308030b3ffc436d0ea8f050b2465a2d00e.zip
witness-number-of-tests	1
witness-sha256	f6e985f19ed3fb0b2289f4ebccebe0308030b3ffc436d0ea8f050b2465a2d00e
witness-size	946
witness-type	test-suite

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

Trying to find witnesses for program (a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b, sv-benchmarks/c/floats-cdfpl/sine_3.i).

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

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

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

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

Found 14 witnesses for program sv-benchmarks/c/floats-cdfpl/sine_3.i, a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
d024f2f	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	12	Mon Dec 9 09:44:49 CET 2019
1c74ba5	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	12	Mon Dec 9 03:26:43 CET 2019
9cc6e5d	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	1	17	2019-12-09T16:15:06Z
783ef07	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	1	6	2019-12-09 11:16:50
b33bfae	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-09T04:22:29Z
a6da20e	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	7	3	2019-12-08T23:29:30+01:00
4f57a2d	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	17	2019-12-09T18:13:41Z
a4ed757	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	0	6	2019-12-09 11:40:23
c5cdc87	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	0	4	2019-12-09T07:11:29Z
b1e312b	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-08T22:26:21+01:00
5c4dee8	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	5	3	2019-12-09T10:12:37+01:00
ea1a545	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T02:34:21+01:00
02168d0	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	120	53	2019-12-09 03:00:06.348509
43fa041	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	68	30	2019-12-08 22:39:52.855134

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

Trying to find witnesses for program (a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b, sv-benchmarks/c/floats-cdfpl/sine_3.i).

Found 7 witnesses for program sv-benchmarks/c/floats-cdfpl/sine_3.i, a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
0c4184a	Inspect			test-suite	Symbiotic	1	1	2019-02-06T14:28 CET (comp)
eed7f6f	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	2	4	2019-02-05T23:59:02Z
1c952e5	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	7	3	2019-02-05T21:20:20+01:00
205c8de	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	0	4	2019-02-06T05:30:39Z
2021214	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-05T21:11:28+01:00
ec4b3e2	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T04:52:08+01:00
57ea31c	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-06T01:56:46+01:00