Fix memory issue; ModelList should be cleared before deletion; use ModelVector instead

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index 4670a65fcb5cc4d0995725f5271a7c3367c0506a..2a29273f16e7adacdf0af5c256d916ca0d0d60f3 100644 (file)
--- a/history.h
+++ b/history.h
@@ -52,6 +52,7 @@ public:
        MEMALLOC
 private:
        uint32_t func_counter;
+       int 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 +73,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