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

busybox date-1: label as undefined #1251

Closed mchalupa closed 3 years ago

mchalupa commented 3 years ago

I didn't know how to fix the issue on all paths, so I relabelled the benchmark to false(def-behavior). Fixes #1250.