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

Remove contested task c/ntdrivers/parport.i.cil-2 #1272

Closed tautschnig closed 3 years ago

tautschnig commented 3 years ago

See #1269 and #1271.