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

svcomp21: remove loops/linear_search and loops/linear_sea.ch #1283

Closed sim642 closed 3 years ago

sim642 commented 3 years ago

SV-COMP 2021 removal regarding issue #1241 and PR #1278.