Key | Value |
programName | sv-benchmarks/c/eca-rers2012/Problem04_label32.c |
programSHA | 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c |
witnessName | results-verified/verifuzz.2019-02-06_0717.logfiles/test-comp19_prop-coverage-error-call.Problem04_label32.yml.files/test-suite.zip |
witnessSHA | db73e60e9af7c0154c5a8805373b02424cebf0c5ca2f9459c9d171bb0fe6eb1b |
Key | Value |
architecture | 32bit |
creationtime | 2019-02-06-14:05:43 |
entryfunction | main |
error-program-sha256 | Key 'programhash' is not an SHA-256 hash. |
producer | verifuzz |
programfile | /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/Problem04_label32.c |
programhash | a5d7527ba67ce83766ca32d3e03deea9c2485363 |
sourcecodelang | C |
specification | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) |
witness-file | fileByHash/db73e60e9af7c0154c5a8805373b02424cebf0c5ca2f9459c9d171bb0fe6eb1b.zip |
witness-number-of-tests | 1 |
witness-sha256 | db73e60e9af7c0154c5a8805373b02424cebf0c5ca2f9459c9d171bb0fe6eb1b |
witness-size | 982 |
witness-type | test-suite |
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label32.c, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label32.c, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label32.c, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label32.c, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 14 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label32.c, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
d129076 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2510 | 2013 | Mon Dec 9 09:02:59 CET 2019 | ||
a3ef29f | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2495 | 2017 | Mon Dec 9 05:29:07 CET 2019 | ||
c429556 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Tracer-X | 2689 | 16984 | 2019-12-09T15:46:08Z | ||
ea9c1c6 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Symbiotic | 7 | 676 | 2019-12-09 11:53:33 | ||
1806ce6 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.1-pre-test-comp | 639 | 433 | 2019-12-09T10:52:23Z | ||
5adfcc3 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 135 | 48 | 2019-12-09T04:11:49+01:00 | ||
e7c20e8 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 2598 | 16844 | 2019-12-09T14:01:39Z | ||
86ce344 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 1 | 881 | 2019-12-09 11:42:25 | ||
d433785 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 102 | 2019-12-09T00:14:57Z | ||
9991df6 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 1 | 1 | 2019-12-09T06:18:13+01:00 | ||
6f47c9e | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 28 | 11 | 2019-12-09T10:42:56+01:00 | ||
e35a079 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 1 | 1 | 2019-12-09T03:21:45+01:00 | ||
a6359f0 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 176 | 76 | 2019-12-09 10:48:13.683141 | ||
cae4369 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 167 | 73 | 2019-12-08 21:42:23.378197 |
Found 8 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label32.c, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
3db70af | Inspect | test-suite | Symbiotic | 1 | 23 | 2019-02-06T14:55 CET (comp) | |||
9af35b6 | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T11:58 CET (comp) | |||
4a9aead | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 24 | 2019-02-06T03:07:01Z | ||
9120b69 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn 30375 | 288 | 103 | 2019-02-05T21:06:37+01:00 | ||
358adbc | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 210 | 2019-02-05T23:11:56Z | ||
2235d8b | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 23 | 2019-02-06T03:58:31+01:00 | ||
46053e3 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 482 | 186 | 2019-02-06T03:15:59+01:00 | ||
d0e4521 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 1 | 23 | 2019-02-06T05:54:53+01:00 |