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_1_8.i
programSHA	866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565
witnessName	results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-error-call.newton_1_8.yml.files/test-suite.zip
witnessSHA	5ebcaa3850244abb031115b8fd5f86c6a1b9d9a083c17b92e0c763410d450027

Information about the Test-Suite from Competition Database

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

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

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

Trying to find witnesses for program (866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565, sv-benchmarks/c/floats-cdfpl/newton_1_8.i).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
e1eb2f1	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	13	Mon Dec 9 10:08:17 CET 2019
21b782c	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	13	Mon Dec 9 00:14:46 CET 2019
b4d6c2f	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	1	17	2019-12-09T16:05:58Z
0c92e1e	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	1	7	2019-12-09 11:38:26
e7f1e59	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-09T01:28:24Z
db3f457	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	6	3	2019-12-09T06:57:40+01:00
7ec89b3	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	17	2019-12-09T14:12:49Z
349b6ce	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	0	7	2019-12-09 11:34:05
6cb59bb	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	0	4	2019-12-09T04:02:35Z
12b343e	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T07:58:28+01:00
910690a	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	4	2	2019-12-09T08:35:25+01:00
faf36ca	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T11:08:18+01:00
e4001b7	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	383	167	2019-12-09 09:20:36.957234
18f933f	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	44	20	2019-12-08 23:33:14.209543

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

Trying to find witnesses for program (866b86f7cc695dde27c2392247e82d69be430b3c0f328760732864d13ccb6565, sv-benchmarks/c/floats-cdfpl/newton_1_8.i).

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
48fff22	Inspect			test-suite	Symbiotic	1	1	2019-02-06T11:55 CET (comp)
eedd1b2	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	2	5	2019-02-06T01:59:27Z
1832e6e	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-05T23:22:11+01:00
dd3614e	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	0	4	2019-02-05T21:33:30Z
6c583c0	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-06T01:59:16+01:00
a8b2ff4	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T04:26:55+01:00
265cc18	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	1	2019-02-05T22:29:21+01:00