small changes

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index 4670a65fcb5cc4d0995725f5271a7c3367c0506a..431f978ea3f54e1053e682aadece744b9ed0ca44 100644 (file)
--- a/history.h
+++ b/history.h
@@ -6,6 +6,8 @@
 #include "hashtable.h"
 #include "threads-model.h"
 
+#define INIT_SEQ_NUMBER 0xffffffff
+
 class ModelHistory {
 public:
        ModelHistory();
@@ -52,6 +54,7 @@ public:
        MEMALLOC
 private:
        uint32_t func_counter;
+       modelclock_t last_seq_number;
 
        /* Map function names to integer ids */
        HashTable<const char *, uint32_t, uintptr_t, 4, model_malloc, model_calloc, model_free> func_map;
@@ -72,9 +75,6 @@ private:
 
        HashTable<void *, SnapVector<ConcretePredicate *> *, uintptr_t, 0> * loc_waiting_writes_map;
 
-       /* The last action processed by ModelHistory */
-       ModelAction * last_action;
-
        /* thrd_func_list stores a list of function ids for each thread.
         * Each element in thrd_func_list stores the functions that
         * thread i has entered and yet to exit from