Key | Value |
programName | sv-benchmarks/c/eca-rers2012/Problem04_label32.c |
programSHA | 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c |
witnessName | results-validated/tbf-testsuite-validator-symbiotic.2019-02-06_1452.logfiles/test-comp19_prop-coverage-error-call.Problem04_label32.yml.files/test-suite.zip |
witnessSHA | 3db70af9ababecd9a41ca626efb47993c72d14d560837a431b5070424db2e0bf |
Key | Value |
architecture | 64bit |
creationtime | 2019-02-06T14:55 CET (comp) |
entryfunction | main |
error-specification-exists | Key 'specification' not present. |
producer | Symbiotic |
program-sha256 | 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c |
programfile | /tmp/vcloud-vcloud-master/worker/working_dir_dbba5080-f2e5-4751-b291-b25c7b2c6dbb/sv-benchmarks/c/eca-rers2012/Problem04_label32.c |
programhash | 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c |
sourcecodelang | C |
witness-file | fileByHash/3db70af9ababecd9a41ca626efb47993c72d14d560837a431b5070424db2e0bf.zip |
witness-number-of-tests | 1 |
witness-sha256 | 3db70af9ababecd9a41ca626efb47993c72d14d560837a431b5070424db2e0bf |
witness-size | 22633 |
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, 77804539c9c2ef4238d171ca46ff370b533c66c2f7a717e60192e9bdb160ae8c).
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 |