Key | Value |
programName | sv-benchmarks/c/eca-rers2012/Problem06_label20.c |
programSHA | 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1 |
witnessName | results-verified/symbiotic.2019-02-06_0707.logfiles/test-comp19_prop-coverage-error-call.Problem06_label20.yml.files/test-suite.zip |
witnessSHA | 0684dbe31b5f97813119e9c8a071fd6b3b93cb3c5369263df1c6236b55698bc8 |
Key | Value |
architecture | 64bit |
creationtime | 2019-02-06T14:28 CET (comp) |
entryfunction | main |
error-specification-exists | Key 'specification' not present. |
producer | Symbiotic |
program-sha256 | 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1 |
programfile | /tmp/vcloud-vcloud-master/worker/working_dir_d10602da-6e4f-42fb-980a-eb57432bf056/sv-benchmarks/c/eca-rers2012/Problem06_label20.c |
programhash | 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1 |
sourcecodelang | C |
witness-file | fileByHash/0684dbe31b5f97813119e9c8a071fd6b3b93cb3c5369263df1c6236b55698bc8.zip |
witness-number-of-tests | 1 |
witness-sha256 | 0684dbe31b5f97813119e9c8a071fd6b3b93cb3c5369263df1c6236b55698bc8 |
witness-size | 929 |
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, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1).
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem06_label20.c, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1.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/Problem06_label20.c, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1.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/Problem06_label20.c, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1.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/Problem06_label20.c, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1.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/Problem06_label20.c, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
e29c29e | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2401 | 2581 | Mon Dec 9 09:09:47 CET 2019 | ||
a4cd7b3 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2318 | 2543 | Mon Dec 9 05:57:29 CET 2019 | ||
04d95ce | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Tracer-X | 3778 | 10834 | 2019-12-09T17:12:16Z | ||
d94f7e4 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Symbiotic | 7 | 1200 | 2019-12-09 11:13:00 | ||
df9fca9 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.1-pre-test-comp | 381 | 423 | 2019-12-09T08:42:42Z | ||
dd0788d | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 106 | 38 | 2019-12-09T00:21:16+01:00 | ||
7721762 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 4028 | 11492 | 2019-12-09T16:25:09Z | ||
69d3f55 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 1 | 1534 | 2019-12-09 11:41:42 | ||
54b170d | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 166 | 2019-12-09T03:18:27Z | ||
5f437b6 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 1 | 1 | 2019-12-09T03:14:37+01:00 | ||
2c5095d | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 41 | 16 | 2019-12-09T11:00:59+01:00 | ||
8e0f45c | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 1 | 1 | 2019-12-09T09:58:51+01:00 | ||
f828fa6 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 87 | 38 | 2019-12-09 03:36:33.427752 | ||
1c9377d | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 87 | 38 | 2019-12-09 01:15:39.075753 |
Found 8 witnesses for program sv-benchmarks/c/eca-rers2012/Problem06_label20.c, 90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/90dfb528a5ad58bcdc5d42b6d91c606c098f5b85218e49a0c9d99a9c9cdf12c1.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
d2c0587 | Inspect | test-suite | Symbiotic | 1 | 52 | 2019-02-06T14:55 CET (comp) | |||
0684dbe | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T14:28 CET (comp) | |||
4d1f4d3 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 53 | 2019-02-06T00:01:32Z | ||
35691b3 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn 30375 | 110 | 39 | 2019-02-06T01:13:50+01:00 | ||
5ab8652 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 366 | 2019-02-05T21:54:17Z | ||
ff8f96c | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 1 | 2019-02-06T01:36:26+01:00 | ||
a5226f2 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 409 | 157 | 2019-02-05T22:09:37+01:00 | ||
e45d965 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 1 | 52 | 2019-02-05T22:02:23+01:00 |