search

jepsen-io / elle

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

Revert "Add check for mismatch of operations in history" #11

Closed aphyr closed 3 years ago

aphyr commented 3 years ago

Reverts jepsen-io/elle#10: this causes a big swath of the test suite to fail, and I don't have time to fix those right now.