search

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184 stars 169 forks source link

Fix verdicts for bounded divbin tasks #1242

Closed MartinSpiessl closed 3 years ago

MartinSpiessl commented 3 years ago

This fixes issue #1238 by updating the task generation script.

We do not add "fixed" versions of the tasks since these are derived, bounded versions of the tasks in nla-digbench.
There are already bounded versions of this task anyway where the verdict is true(unreach-call) (plus the original unbounded version in nla-digbench), so this should be covered.

Thanks to @mchalupa for finding this issue.