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/newton_3_6.i
programSHA	7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf
witnessName	results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-branches.newton_3_6.yml.files/test-suite.zip
witnessSHA	2073c45d55009bc84cfc1d4e001f8ff5bc07198f59901de2c5e3688fb95f5a51

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06-14:32:24
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	verifuzz
programfile	/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/newton_3_6.i
programhash	169a3d75b8ec02c7b3fbcc33b8ba48a71d304951
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)))
witness-file	fileByHash/2073c45d55009bc84cfc1d4e001f8ff5bc07198f59901de2c5e3688fb95f5a51.zip
witness-number-of-tests	1
witness-sha256	2073c45d55009bc84cfc1d4e001f8ff5bc07198f59901de2c5e3688fb95f5a51
witness-size	2774
witness-type	test-suite

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

Trying to find witnesses for program (7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf, sv-benchmarks/c/floats-cdfpl/newton_3_6.i).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
35b3192	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	7	12	Sun Dec 8 22:46:21 CET 2019
bd5345a	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	13	Mon Dec 9 02:55:10 CET 2019
c2bd71e	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	1	18	2019-12-09T15:25:00Z
d0b9a44	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	1	7	2019-12-09 11:16:49
4f074ce	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-09T01:35:54Z
af68c56	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	6	3	2019-12-09T09:08:24+01:00
1243531	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	18	2019-12-09T17:41:56Z
661ef20	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	0	7	2019-12-09 11:34:06
66666eb	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	0	4	2019-12-08T23:28:17Z
7513cec	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T00:13:49+01:00
ab1831e	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	4	2	2019-12-09T10:51:35+01:00
01e0b7c	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-08T22:58:18+01:00
4da1278	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	1018	442	2019-12-09 05:09:50.535104
3f87d4c	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	1021	444	2019-12-08 22:32:51.917077

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

Trying to find witnesses for program (7edbd0410b49cdf4dd97cf651e9353713e6c7e61e0f22a14bd796306ba3246bf, sv-benchmarks/c/floats-cdfpl/newton_3_6.i).

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
26d6808	Inspect			test-suite	Symbiotic	1	1	2019-02-06T14:25 CET (comp)
1677b94	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	2	5	2019-02-06T05:26:19Z
a1e4580	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	6	3	2019-02-06T03:29:34+01:00
502ab8a	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	0	4	2019-02-06T04:56:44Z
9b253eb	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-06T05:05:09+01:00
8137f2b	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	2	1	2019-02-06T03:12:11+01:00
0951150	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T02:52:50+01:00