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/sum_array-1.c
programSHA	bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b
witnessName	results-validated/tbf-testsuite-validator-fairfuzz.2019-02-08_1322.logfiles/test-comp19_prop-coverage-branches.sum_array-1.yml.files/test-suite.zip
witnessSHA	ce3fb9c63f25ff8160c3b40449b35a40014d429c9d7d359f9cfa92dd29089165

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-08T09:29:29+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/loops/sum_array-1.c
programhash	bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b -
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )
witness-file	fileByHash/ce3fb9c63f25ff8160c3b40449b35a40014d429c9d7d359f9cfa92dd29089165.zip
witness-number-of-tests	1
witness-sha256	ce3fb9c63f25ff8160c3b40449b35a40014d429c9d7d359f9cfa92dd29089165
witness-size	2694
witness-type	test-suite

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

Trying to find witnesses for program (bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b, sv-benchmarks/c/loops/sum_array-1.c).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
90c5b23	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	23	22	Mon Dec 9 06:14:19 CET 2019
829840b	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	23	22	Mon Dec 9 00:16:02 CET 2019
49d6efd	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	2	19	2019-12-09T17:53:55Z
67bc5c3	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	2	8	2019-12-09 11:35:05
abdc05d	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	6	8	2019-12-09T04:46:23Z
3bfd726	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	10	4	2019-12-09T02:24:17+01:00
49d3de5	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	2	19	2019-12-09T13:38:19Z
019db6f	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	9	2019-12-09 11:49:01
fb44d93	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	1	5	2019-12-09T10:41:28Z
a22fa71	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-08T22:53:55+01:00
b4d2cf1	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	6	3	2019-12-09T07:06:25+01:00
5846170	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-09T04:06:37+01:00
5af422a	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	462	195	2019-12-09 05:46:40.017867
5664bd2	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	5	3	2019-12-09 00:19:42.996081

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

Trying to find witnesses for program (bc52764f3bbb843724597e9e951ca8766827324e8e8ef07fbca90a8e224b314b, sv-benchmarks/c/loops/sum_array-1.c).

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
e1015b5	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:55 CET (comp)
25c9219	Inspect			test-suite	Symbiotic	1	3	2019-02-06T14:54 CET (comp)
ebd21e6	Inspect			test-suite	Symbiotic	3	2	2019-02-06T11:42 CET (comp)
9387c90	Inspect			test-suite	Symbiotic	1	1	2019-02-06T08:12 CET (comp)
76fe7b3	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	3	2019-02-05T22:04:47Z
ba05410	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	10	4	2019-02-06T04:28:31+01:00
70f7e09	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	5	2019-02-06T01:16:48Z
c8c5318	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	3	2019-02-06T04:51:50+01:00
ba60721	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	5	3	2019-02-06T00:13:08+01:00
bec27a0	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T03:59:25+01:00