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_label27.c
programSHA 0021eb9bf9450563b56e4bba87bf7c350236f1e69692a550e71072535e8a5c2a
witnessName results-verified/fairfuzz.2019-02-08_0939.logfiles/test-comp19_prop-coverage-error-call.Problem03_label27.yml.files/test-suite.zip
witnessSHA 07707b1f6e55b4b72bc69cb6416c7bc0417e5db45034df6704b82feb7328e6a9

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-08T11:07:02+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/eca-rers2012/Problem03_label27.c
programhash 0021eb9bf9450563b56e4bba87bf7c350236f1e69692a550e71072535e8a5c2a -
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )
witness-file fileByHash/07707b1f6e55b4b72bc69cb6416c7bc0417e5db45034df6704b82feb7328e6a9.zip
witness-number-of-tests 240
witness-sha256 07707b1f6e55b4b72bc69cb6416c7bc0417e5db45034df6704b82feb7328e6a9
witness-size 103996
witness-type test-suite

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

Trying to find witnesses for program (0021eb9bf9450563b56e4bba87bf7c350236f1e69692a550e71072535e8a5c2a, sv-benchmarks/c/eca-rers2012/Problem03_label27.c).

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download f8b8cd1 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 477 485 Mon Dec 9 03:43:45 CET 2019
Download b27258e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 479 486 Mon Dec 9 00:43:08 CET 2019
Download b132b92 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 20469 45217 2019-12-09T14:08:22Z
Download 0058014 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 235 2019-12-09 11:21:10
Download 5fc29f8 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 102 164 2019-12-08T22:00:22Z
Download fc262d6 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 101 36 2019-12-09T00:05:57+01:00
Download fad4ad0 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 20418 45236 2019-12-09T16:59:28Z
Download ff400ef Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 297 2019-12-09 10:30:02
Download d7dff69 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 28 2019-12-08T23:42:20Z
Download a3457e9 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T06:42:33+01:00
Download e743e98 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 23 9 2019-12-09T10:28:24+01:00
Download c76b8c5 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-08T23:21:35+01:00
Download ce2d991 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 167 73 2019-12-09 10:41:32.464990
Download 3d7dac1 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 180 78 2019-12-09 10:12:45.942696

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

Trying to find witnesses for program (0021eb9bf9450563b56e4bba87bf7c350236f1e69692a550e71072535e8a5c2a, sv-benchmarks/c/eca-rers2012/Problem03_label27.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 8d70a3f Inspect Inspect
Validate
test-suite Symbiotic 1 11 2019-02-06T14:55 CET (comp)
Download b4481ac Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T13:05 CET (comp)
Download 4998629 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 12 2019-02-06T00:20:38Z
Download f50cfab Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 1 12 2019-02-06T02:41:15+01:00
Download 9829d75 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 11 2019-02-06T02:15:43Z
Download b25dd86 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 1 2019-02-05T22:13:21+01:00
Download 98722bd Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 12 2019-02-06T02:27:51+01:00
Download ac4fd0e Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 11 2019-02-06T02:09:03+01:00