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/loops/invert_string-1.c
programSHA 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
witnessName results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-branches.invert_string-1.yml.files/test-suite.zip
witnessSHA 70de39566f93b3da6cea2920e0977672d76541393ae8007d8fa3a9dbf7655f94

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06-13:46:22
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
producer verifuzz
programfile /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/invert_string-1.c
programhash d0ad63bcdc3968aeeddac4db561423b910befc88
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)))
witness-file fileByHash/70de39566f93b3da6cea2920e0977672d76541393ae8007d8fa3a9dbf7655f94.zip
witness-number-of-tests 1
witness-sha256 70de39566f93b3da6cea2920e0977672d76541393ae8007d8fa3a9dbf7655f94
witness-size 3850
witness-type test-suite

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

Trying to find witnesses for program (30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344, sv-benchmarks/c/loops/invert_string-1.c).

Found 0 witnesses for program sv-benchmarks/c/loops/invert_string-1.c, 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344.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 (30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344, sv-benchmarks/c/loops/invert_string-1.c).

Found 0 witnesses for program sv-benchmarks/c/loops/invert_string-1.c, 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344.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 (30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344, sv-benchmarks/c/loops/invert_string-1.c).

Found 0 witnesses for program sv-benchmarks/c/loops/invert_string-1.c, 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344.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 (30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344, sv-benchmarks/c/loops/invert_string-1.c).

Found 0 witnesses for program sv-benchmarks/c/loops/invert_string-1.c, 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344.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 (30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344, sv-benchmarks/c/loops/invert_string-1.c).

Found 13 witnesses for program sv-benchmarks/c/loops/invert_string-1.c, 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 7195815 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 19 21 Mon Dec 9 10:36:25 CET 2019
Download 1a27019 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 19 21 Mon Dec 9 03:08:49 CET 2019
Download d64a3fd Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 3 31 2019-12-09T18:04:55Z
Download 8e64d38 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 2 8 2019-12-09 11:42:52
Download fe051fa Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 3 6 2019-12-09T08:42:57Z
Download 5b0d739 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 6 3 2019-12-09T00:07:56+01:00
Download 8cec13f Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 2 22 2019-12-09T17:59:07Z
Download 2c1b144 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 9 2019-12-09 11:11:03
Download 2249a90 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 5 2019-12-09T02:37:57Z
Download e404f4e Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 4 2 2019-12-09T00:27:25+01:00
Download ea038a8 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 0 1 2019-12-09T06:29:11+01:00
Download 5c879a7 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 12 6 2019-12-09 03:11:36.246079
Download 3c12254 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 642 272 2019-12-09 01:52:15.190806

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

Trying to find witnesses for program (30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344, sv-benchmarks/c/loops/invert_string-1.c).

Found 9 witnesses for program sv-benchmarks/c/loops/invert_string-1.c, 30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 02c429e Inspect Inspect
Validate
test-suite Symbiotic 1 3 2019-02-06T14:55 CET (comp)
Download 31c83a1 Inspect Inspect
Validate
test-suite Symbiotic 1 3 2019-02-06T14:54 CET (comp)
Download ca0bc1b Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T10:51 CET (comp)
Download 4e65eed Inspect Inspect
Validate
test-suite Symbiotic 3 2 2019-02-06T08:31 CET (comp)
Download 1ce1a7e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 8 8 2019-02-06T01:00:08Z
Download 4644b72 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 6 3 2019-02-05T21:06:37+01:00
Download 386284c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 3 2019-02-06T05:27:58Z
Download 59d3cca Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 3 2 2019-02-06T02:15:43+01:00
Download e856eab Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 0 1 2019-02-05T23:26:30+01:00