Closed dbeyer closed 3 years ago
There are tasks with property unreach-call that are not yet included in the benchmark set.
The CI script for the benchmark definitions has identified this issue: https://gitlab.com/sosy-lab/sv-comp/bench-defs/-/jobs/1624885676
Example for missing task: https://github.com/sosy-lab/sv-benchmarks/blob/master/c/busybox-1.22.0/cut-3.yml
There are tasks with property unreach-call that are not yet included in the benchmark set.
The CI script for the benchmark definitions has identified this issue: https://gitlab.com/sosy-lab/sv-comp/bench-defs/-/jobs/1624885676
Example for missing task: https://github.com/sosy-lab/sv-benchmarks/blob/master/c/busybox-1.22.0/cut-3.yml