When an atomic read action cannot read from a desired write, make this thread sleep...

[c11tester.git] / action.cc

diff --git a/action.cc b/action.cc
index 473d99f72899f4c0866719b5629767b4053e0c38..f6d536ee77072feaa1db4f0aa6e6a0771ea6244f 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -219,6 +219,11 @@ void ModelAction::set_seq_number(modelclock_t num)
        seq_number = num;
 }
 
+void ModelAction::reset_seq_number()
+{
+       seq_number = 0;
+}
+
 bool ModelAction::is_thread_start() const
 {
        return type == THREAD_START;