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/square_2.i
programSHA	04e99898e7c14ca8d4788c1ee6dfb8cfc10e4bc5e080d3bec1552f2725057b68
witnessName	results-verified/prtest.2019-02-06_0602.logfiles/test-comp19_prop-coverage-error-call.square_2.yml.files/test-suite.zip
witnessSHA	9156222f3cc34642bfea6d19d8f6e3dd538b2337d5600a0b3ef16ad891d7c0a2

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-06 11:51:51.647841
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
producer	prtest
programfile	/tmp/vcloud-vcloud-master/worker/working_dir_1832e2de-d0f8-46c4-95ed-9a1713a80d89/sv-benchmarks/c/floats-cdfpl/square_2.i
programhash	30af8e98893bfcc9c7b0879f6e0cde9a5cbf7714
sourcecodelang	C
specification	COVER(init(main()), FQL(COVER EDGES( @ CALL(__VERIFIER_error))) )
witness-file	fileByHash/9156222f3cc34642bfea6d19d8f6e3dd538b2337d5600a0b3ef16ad891d7c0a2.zip
witness-number-of-tests	4
witness-sha256	9156222f3cc34642bfea6d19d8f6e3dd538b2337d5600a0b3ef16ad891d7c0a2
witness-size	1763
witness-type	test-suite

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

Trying to find witnesses for program (04e99898e7c14ca8d4788c1ee6dfb8cfc10e4bc5e080d3bec1552f2725057b68, sv-benchmarks/c/floats-cdfpl/square_2.i).

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

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

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

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

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
532b855	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	12	Sun Dec 8 23:03:11 CET 2019
3a095d4	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	9	12	Sun Dec 8 22:03:29 CET 2019
04220b0	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	1	17	2019-12-09T15:08:32Z
449a5e1	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	1	6	2019-12-09 11:54:15
5c3c894	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	1	4	2019-12-09T08:39:11Z
76322bc	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	6	3	2019-12-09T02:57:39+01:00
81c6f14	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	1	17	2019-12-09T17:09:47Z
1a8d846	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	0	6	2019-12-09 11:38:38
11341ed	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	0	4	2019-12-08T21:27:07Z
31d05f9	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T02:42:04+01:00
20d5d75	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	4	2	2019-12-09T05:47:00+01:00
c9f0f7d	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-08T23:12:38+01:00
a79472e	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	79	35	2019-12-09 06:06:50.171287
08b87cd	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	78	34	2019-12-09 00:17:21.433162

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

Trying to find witnesses for program (04e99898e7c14ca8d4788c1ee6dfb8cfc10e4bc5e080d3bec1552f2725057b68, sv-benchmarks/c/floats-cdfpl/square_2.i).

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

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
c8a4c37	Inspect			test-suite	Symbiotic	1	1	2019-02-06T13:19 CET (comp)
5e67f89	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	2	4	2019-02-06T02:30:44Z
f5e4477	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	6	3	2019-02-05T21:06:37+01:00
039e898	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	0	4	2019-02-05T23:19:28Z
61320ae	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-06T00:05:22+01:00
fb37ff2	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T02:39:39+01:00
eeb34d0	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	3	2019-02-06T03:34:19+01:00