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/Problem05_label18.c
programSHA 8755948610407908bb33516a3858562a45d022a8e2cd6d5351590252beee2d31
witnessName results-verified/coveritest.2019-02-05_2105.logfiles/test-comp19_prop-coverage-error-call.Problem05_label18.yml.files/test-suite.zip
witnessSHA 61ac7a34f139ee494fbfeade95c45a9ca0326791f9ea9e2a9201824312e8917f

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06T02:29:06+01:00
entryfunction main
producer CPAchecker 1.8-svn 30375
program-sha256 8755948610407908bb33516a3858562a45d022a8e2cd6d5351590252beee2d31
programfile ../../sv-benchmarks/c/eca-rers2012/Problem05_label18.c
programhash 8755948610407908bb33516a3858562a45d022a8e2cd6d5351590252beee2d31
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/61ac7a34f139ee494fbfeade95c45a9ca0326791f9ea9e2a9201824312e8917f.zip
witness-number-of-tests 1
witness-sha256 61ac7a34f139ee494fbfeade95c45a9ca0326791f9ea9e2a9201824312e8917f
witness-size 1012
witness-type test-suite

This witness was created for this program (cf. table above, 8755948610407908bb33516a3858562a45d022a8e2cd6d5351590252beee2d31).

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

Trying to find witnesses for program (8755948610407908bb33516a3858562a45d022a8e2cd6d5351590252beee2d31, sv-benchmarks/c/eca-rers2012/Problem05_label18.c).

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 75c9bc7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 3100 2956 Mon Dec 9 06:13:04 CET 2019
Download 1998b4c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 3075 2934 Mon Dec 9 00:20:53 CET 2019
Download 4ecff1f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 8596 22751 2019-12-09T15:59:41Z
Download a62879c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 1365 2019-12-09 11:54:33
Download 5ced006 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 567 469 2019-12-09T06:23:48Z
Download 2924ac7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 74 27 2019-12-09T09:25:36+01:00
Download 4f31c51 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 8660 22912 2019-12-09T16:38:39Z
Download 650386e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 1746 2019-12-09 10:47:32
Download 8bd3d51 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 0 251 2019-12-09T08:33:45Z
Download a4e2df7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T03:51:14+01:00
Download a95bc22 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 63 24 2019-12-09T01:39:04+01:00
Download ac4d768 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T10:46:59+01:00
Download f5d7ffd Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 102 44 2019-12-09 08:31:58.001284
Download 639577f Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 112 49 2019-12-09 00:25:37.724464

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

Trying to find witnesses for program (8755948610407908bb33516a3858562a45d022a8e2cd6d5351590252beee2d31, sv-benchmarks/c/eca-rers2012/Problem05_label18.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 32ec91e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 2484 1296 2019-02-06T01:50:05Z
Download d7a7ff3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 72 26 2019-02-05T21:45:12+01:00
Download 33bb2d2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 47 2019-02-05T22:13:48Z
Download 92e5233 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 47 2019-02-06T02:29:06+01:00
Download 95eda23 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 391 150 2019-02-06T03:50:51+01:00
Download 7cb7e57 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 47 2019-02-06T00:02:56+01:00