This repository has been archived by the owner on Feb 17, 2019. It is now read-only.

Fix monotonicity checks of reads and writes #2

Open

pviotti opened this issue Jun 9, 2016 · 0 comments

Labels

Owner

pviotti commented Jun 9, 2016

The code that checks monotonicity of read and write of a given session is convoluted and probably buggy.

pviotti added bug wontfix labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.