model: add too_many_reads flag

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 990f559cc5af67fd368d5355bb890fc975a2c13d..5d34b4aa3e2694bcfd725e4170131592b884eba0 100644 (file)
--- a/model.h
+++ b/model.h
@@ -177,6 +177,7 @@ private:
         */
        CycleGraph *mo_graph;
        bool failed_promise;
+       bool too_many_reads;
        bool asserted;
 };