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

memsafety openbsd: add violated subproperty #1286

Open mchalupa opened 3 years ago

mchalupa commented 3 years ago

Part of a fix of #1285.