Checking whether every write in the rf_set satisfies read modification order does...

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index 89b3a5a5d20f3e0fc9f32b3b1111fc8eab84719a..3a538e13f238cb41249af2587a82752efc41e07c 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -135,7 +135,7 @@ private:
        SnapVector<ModelAction *> * build_may_read_from(ModelAction *curr);
        ModelAction * process_rmw(ModelAction *curr);
 
-       bool r_modification_order(ModelAction *curr, const ModelAction *rf, SnapVector<const ModelAction *> *priorset, bool *canprune);
+       bool r_modification_order(ModelAction *curr, const ModelAction *rf, SnapVector<const ModelAction *> *priorset, bool *canprune, bool check_only = false);
        void w_modification_order(ModelAction *curr);
        ClockVector * get_hb_from_write(ModelAction *rf) const;
        ModelAction * get_uninitialized_action(ModelAction *curr) const;