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

Solved data races #1218

Closed hernanponcedeleon closed 3 years ago

hernanponcedeleon commented 3 years ago

This PR solves data races in two benchmarks by wrapping the racing accesses with __VERIFIER_atomic blocks.