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/eca-rers2012/Problem05_label47.c
programSHA	8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
witnessName	results-validated/tbf-testsuite-validator-esbmc-kind.2019-02-06_0616.logfiles/test-comp19_prop-coverage-error-call.Problem05_label47.yml.files/test-suite.zip
witnessSHA	ab4ec2c65c13d541bfd324bda3640441fa099804519ec90b86b87db33cbe598c

Information about the Test-Suite from Competition Database

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

Key	Value
architecture	32bit
creationtime	2019-02-05T21:51:49.088896
entryfunction	main
error-program-sha256	Key 'programhash' is not an SHA-256 hash.
programfile	../../sv-benchmarks/c/eca-rers2012/Problem05_label47.c
programhash	f01803aa734361ea0de4f738023d09d265095223
sourcecodelang	C
specification	COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file	fileByHash/ab4ec2c65c13d541bfd324bda3640441fa099804519ec90b86b87db33cbe598c.zip
witness-number-of-tests	1
witness-sha256	ab4ec2c65c13d541bfd324bda3640441fa099804519ec90b86b87db33cbe598c
witness-size	47188
witness-type	test-suite

The following keys are missing in the witness XML file: producer.

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

Trying to find witnesses for program (8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac, sv-benchmarks/c/eca-rers2012/Problem05_label47.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem05_label47.c, 8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac.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 (8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac, sv-benchmarks/c/eca-rers2012/Problem05_label47.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem05_label47.c, 8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac.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 (8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac, sv-benchmarks/c/eca-rers2012/Problem05_label47.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem05_label47.c, 8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac.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 (8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac, sv-benchmarks/c/eca-rers2012/Problem05_label47.c).

Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem05_label47.c, 8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac.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 (8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac, sv-benchmarks/c/eca-rers2012/Problem05_label47.c).

Found 14 witnesses for program sv-benchmarks/c/eca-rers2012/Problem05_label47.c, 8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
48eb201	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	3122	2945	Mon Dec 9 05:31:02 CET 2019
73ca2d9	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))	test-suite	LibKluzzer 0.6	3067	2908	Mon Dec 9 05:23:37 CET 2019
490c510	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Tracer-X	8740	23115	2019-12-09T14:08:22Z
66cf111	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	Symbiotic	7	1365	2019-12-09 11:01:58
319edde	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.1-pre-test-comp	570	470	2019-12-08T23:14:26Z
84f8778	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	73	26	2019-12-09T01:37:43+01:00
017f4d5	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Tracer-X	8754	23151	2019-12-09T16:08:41Z
50dd6bc	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	Symbiotic	1	1746	2019-12-09 11:39:46
4e89843	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.1-pre-test-comp	0	251	2019-12-09T00:56:39Z
c3a0a3f	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn-32236 / testcomp20	1	1	2019-12-09T08:42:34+01:00
c4cd4b8	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	64	24	2019-12-09T05:47:59+01:00
555c653	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn-32283M / tigertestcomp20	1	1	2019-12-08T23:49:31+01:00
15e140c	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	100	44	2019-12-09 02:17:57.667827
3589164	Inspect		CHECK( LTL(G ! call(__VERIFIER_error())) )	test-suite	Legion	108	47	2019-12-08 22:16:51.122938

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

Trying to find witnesses for program (8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac, sv-benchmarks/c/eca-rers2012/Problem05_label47.c).

Found 6 witnesses for program sv-benchmarks/c/eca-rers2012/Problem05_label47.c, 8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/8a347a6794e5868cdc60f9035bb3c164f4b32f58d06d5d38c8697cbac7de1dac.json

Show Test-Suite	Inspect	Validate	Specification	Result Type	Producer	Number Tests	Size (kB)	Time stamp	Input Test-Suite
29c5f9f	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	KLEE 2.0.0-pre-test-comp	1	49	2019-02-05T21:42:09Z
ab218d0	Inspect		COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )	test-suite	CPAchecker 1.8-svn 30375	93	33	2019-02-05T21:06:39+01:00
3a15c33	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	KLEE 2.0.0-pre-test-comp	1	357	2019-02-06T02:06:44Z
7af4201	Inspect		COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )	test-suite	CPAchecker 1.8-svn 30375	1	1	2019-02-05T23:59:58+01:00
1e28df7	Inspect		COVER EDGES(@DECISIONEDGE)	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	394	151	2019-02-06T01:41:10+01:00
97416fa	Inspect		COVER EDGES(@CALL(__VERIFIER_error))	test-suite	CPAchecker 1.8-svn 30541M / tigertestcomp19	1	47	2019-02-05T22:44:59+01:00