Remove termination verdict from disputed task chunk3 - Githubissues

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 termination verdict from disputed task chunk3 #1262

Closed tautschnig closed 3 years ago

tautschnig commented 3 years ago

See #1257 and #1258.