Test-Suite Inspection

View and Validate the Test-Suite

Input Given to this Service about the Test-Suite (URL Query)

Key Value
programName sv-benchmarks/c/eca-rers2012/Problem03_label52.c
programSHA 298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10
witnessName results-verified/verifuzz.2019-02-06_0717.logfiles/test-comp19_prop-coverage-error-call.Problem03_label52.yml.files/test-suite.zip
witnessSHA f2318eab5addc297e152414b26831fdda297f0d9c7b31e272698c85498b13ed0

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06-11:02:56
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
producer verifuzz
programfile /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/Problem03_label52.c
programhash 33f8fe05fd550b7845fae910dd7c9e2ea747c23b
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/f2318eab5addc297e152414b26831fdda297f0d9c7b31e272698c85498b13ed0.zip
witness-number-of-tests 1
witness-sha256 f2318eab5addc297e152414b26831fdda297f0d9c7b31e272698c85498b13ed0
witness-size 960
witness-type test-suite

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

Trying to find witnesses for program (298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10, sv-benchmarks/c/eca-rers2012/Problem03_label52.c).

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download fa7f61f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 481 486 Mon Dec 9 07:59:54 CET 2019
Download cd06050 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 481 486 Mon Dec 9 00:59:57 CET 2019
Download 18dbade Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 20480 45239 2019-12-09T18:47:56Z
Download 02ace8e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 235 2019-12-09 11:45:26
Download c0d8b29 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 97 164 2019-12-09T04:16:06Z
Download 32c3589 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 101 36 2019-12-09T04:25:51+01:00
Download 9a5b7b7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 20450 45307 2019-12-09T14:45:31Z
Download 0a58827 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 298 2019-12-09 11:43:02
Download e5f3869 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 30 2019-12-08T21:57:49Z
Download 2b6e6e6 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T01:01:08+01:00
Download 18f4cf1 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 15 6 2019-12-09T09:21:00+01:00
Download 4ab07b1 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-08T21:41:03+01:00
Download 9c931a8 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 163 71 2019-12-09 06:43:43.050406
Download a6e98a4 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 164 71 2019-12-08 23:57:18.665830

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

Trying to find witnesses for program (298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10, sv-benchmarks/c/eca-rers2012/Problem03_label52.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download a3ac5e9 Inspect Inspect
Validate
test-suite Symbiotic 1 11 2019-02-06T14:55 CET (comp)
Download 0cac11e Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T08:16 CET (comp)
Download 47d3612 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 389 253 2019-02-06T04:54:30Z
Download 5336f4c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 101 36 2019-02-05T21:57:11+01:00
Download 320c059 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 61 2019-02-05T21:32:37Z
Download f48550e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 11 2019-02-06T00:31:26+01:00
Download 828109e Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 475 187 2019-02-06T02:02:49+01:00
Download 31543bc Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 1 2019-02-05T21:49:08+01:00