search

jepsen-io / elle

Black-box transactional safety checker based on cycle detection
Eclipse Public License 2.0
640 stars 34 forks source link

The rw-register checker succeeds on the history: wx1, rx2... #7

Closed stevana closed 3 years ago

stevana commented 4 years ago

It seems another read is required to make the checker fail.

aphyr commented 3 years ago

Thanks!