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_label26.c
programSHA 67fced29a5cf0eff58ad5a1fde03eec661661d956d13d56a9bb832dccb2b220c
witnessName results-verified/symbiotic.2019-02-06_0707.logfiles/test-comp19_prop-coverage-error-call.Problem05_label26.yml.files/test-suite.zip
witnessSHA d68f54d4073ccc1f5297dff0b19602f3fd6975149d0c5bee74b72319196aee93

Information about the Test-Suite from Competition Database

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

Key Value
architecture 64bit
creationtime 2019-02-06T14:40 CET (comp)
entryfunction main
error-specification-exists Key 'specification' not present.
producer Symbiotic
program-sha256 67fced29a5cf0eff58ad5a1fde03eec661661d956d13d56a9bb832dccb2b220c
programfile /tmp/vcloud-vcloud-master/worker/working_dir_8fb85654-c13d-402f-a15f-bb2b56e7ab3e/sv-benchmarks/c/eca-rers2012/Problem05_label26.c
programhash 67fced29a5cf0eff58ad5a1fde03eec661661d956d13d56a9bb832dccb2b220c
sourcecodelang C
witness-file fileByHash/d68f54d4073ccc1f5297dff0b19602f3fd6975149d0c5bee74b72319196aee93.zip
witness-number-of-tests 1
witness-sha256 d68f54d4073ccc1f5297dff0b19602f3fd6975149d0c5bee74b72319196aee93
witness-size 933
witness-type test-suite

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

This witness was created for this program (cf. table above, 67fced29a5cf0eff58ad5a1fde03eec661661d956d13d56a9bb832dccb2b220c).

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

Trying to find witnesses for program (67fced29a5cf0eff58ad5a1fde03eec661661d956d13d56a9bb832dccb2b220c, sv-benchmarks/c/eca-rers2012/Problem05_label26.c).

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 224091f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 3120 2936 Sun Dec 8 21:57:37 CET 2019
Download 7666575 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 3060 2922 Mon Dec 9 03:13:10 CET 2019
Download a430a0e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 8700 23013 2019-12-09T17:56:19Z
Download 9de3390 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 1365 2019-12-09 11:52:34
Download dc99eca Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 573 472 2019-12-09T02:34:58Z
Download 8b0f5a2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 73 26 2019-12-08T22:05:44+01:00
Download 0a6ff88 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 8738 23109 2019-12-09T14:54:02Z
Download 8cf67e2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 0 1501 2019-12-09 10:18:16
Download 5939475 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 197 2019-12-08T22:31:01Z
Download 31a72d4 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T09:33:09+01:00
Download 7ea48cd Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 60 23 2019-12-09T11:15:43+01:00
Download 6eacf3e Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T09:29:05+01:00
Download dfb1eb0 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 116 51 2019-12-09 06:05:26.421853
Download 5ec12bb Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 105 46 2019-12-09 03:28:03.947803

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

Trying to find witnesses for program (67fced29a5cf0eff58ad5a1fde03eec661661d956d13d56a9bb832dccb2b220c, sv-benchmarks/c/eca-rers2012/Problem05_label26.c).

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 0600930 Inspect Inspect
Validate
test-suite Symbiotic 1 47 2019-02-06T14:55 CET (comp)
Download d68f54d Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T14:40 CET (comp)
Download 8ab9364 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 2488 1293 2019-02-05T23:55:59Z
Download 175ad36 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 103 37 2019-02-05T23:08:48+01:00
Download ad6baa3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 0 407 2019-02-06T05:00:41Z
Download 77d272b Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 47 2019-02-05T23:48:51+01:00
Download 7482cdb Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 394 151 2019-02-06T03:37:30+01:00
Download 8712fa2 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 47 2019-02-05T22:37:03+01:00