Key | Value |
programName | sv-benchmarks/c/recursive/Ackermann02.c |
programSHA | 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9 |
witnessName | results-validated/tbf-testsuite-validator-fairfuzz.2019-02-08_1322.logfiles/test-comp19_prop-coverage-error-call.Ackermann02.yml.files/test-suite.zip |
witnessSHA | 31dd35d357f78a595886aa30466024eb70a959a7878126cfd32c94458f7c1a99 |
Key | Value |
architecture | 32bit |
creationtime | 2019-02-08T10:38:42+00:00 |
entryfunction | main |
error-program-sha256 | Key 'programhash' is not an SHA-256 hash. |
producer | FairFuzz TC-0.0.2 |
programfile | ../../sv-benchmarks/c/recursive/Ackermann02.c |
programhash | 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9 - |
sourcecodelang | C |
specification | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) |
witness-file | fileByHash/31dd35d357f78a595886aa30466024eb70a959a7878126cfd32c94458f7c1a99.zip |
witness-number-of-tests | 1 |
witness-sha256 | 31dd35d357f78a595886aa30466024eb70a959a7878126cfd32c94458f7c1a99 |
witness-size | 2836 |
witness-type | test-suite |
Found 0 witnesses for program sv-benchmarks/c/recursive/Ackermann02.c, 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9.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/recursive/Ackermann02.c, 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9.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/recursive/Ackermann02.c, 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9.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/recursive/Ackermann02.c, 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 13 witnesses for program sv-benchmarks/c/recursive/Ackermann02.c, 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
5da7884 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 25 | 54 | Sun Dec 8 22:43:22 CET 2019 | ||
db5e440 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 25 | 54 | Mon Dec 9 06:58:15 CET 2019 | ||
fbe9065 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Tracer-X | 31 | 44 | 2019-12-09T18:12:41Z | ||
c004225 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Symbiotic | 3 | 8 | 2019-12-09 10:31:03 | ||
54ca653 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.1-pre-test-comp | 7 | 33 | 2019-12-09T09:27:10Z | ||
4391ea8 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 10 | 4 | 2019-12-09T09:11:44+01:00 | ||
cc271c0 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 31 | 44 | 2019-12-09T15:18:39Z | ||
560f62c | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 1 | 8 | 2019-12-09 11:35:50 | ||
1077a90 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 5 | 2019-12-08T23:19:03Z | ||
2990f25 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 7 | 3 | 2019-12-09T09:52:42+01:00 | ||
db2f0dd | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 0 | 1 | 2019-12-09T07:41:07+01:00 | ||
0cdbfb5 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 156 | 68 | 2019-12-09 06:36:21.639061 | ||
568475a | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 9 | 5 | 2019-12-08 22:37:18.588447 |
Found 9 witnesses for program sv-benchmarks/c/recursive/Ackermann02.c, 60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
b055139 | Inspect | test-suite | Symbiotic | 1 | 3 | 2019-02-06T14:55 CET (comp) | |||
73488b6 | Inspect | test-suite | Symbiotic | 1 | 3 | 2019-02-06T14:54 CET (comp) | |||
38791ca | Inspect | test-suite | Symbiotic | 6 | 3 | 2019-02-06T13:34 CET (comp) | |||
a634fc2 | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T13:07 CET (comp) | |||
db3c9ef | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.0.0-pre-test-comp | 15 | 34 | 2019-02-06T05:32:25Z | ||
3477794 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 3 | 2019-02-06T01:24:41+01:00 | ||
e40d11f | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 5 | 2019-02-06T02:33:01Z | ||
ec98ade | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 2 | 1 | 2019-02-06T03:09:38+01:00 | ||
c02880a | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 0 | 1 | 2019-02-06T02:57:03+01:00 |