fix mutex_trylock bug

[c11tester.git] / funcinst.h

diff --git a/funcinst.h b/funcinst.h
index ca733f6738b6235d45158bc8c450749ad7a1d630..c4d41eec32fb69211e11a6c84f36299335857a84 100644 (file)
--- a/funcinst.h
+++ b/funcinst.h
@@ -2,11 +2,10 @@
 #define __FUNCINST_H__
 
 #include "action.h"
+#include "classlist.h"
 #include "hashtable.h"
 #include "threads-model.h"
 
-class ModelAction;
-
 typedef ModelList<FuncInst *> func_inst_list_mt;
 
 class FuncInst {
@@ -40,8 +39,8 @@ public:
        void set_execution_number(int new_number) { execution_number = new_number; }
        int get_execution_number() { return execution_number; }
 
-       void set_associated_read(thread_id_t tid, uint64_t read_val, uint32_t marker);
-       uint64_t get_associated_read(thread_id_t tid, uint32_t marker);
+       void set_associated_read(thread_id_t tid, int index, uint32_t marker, uint64_t read_val);
+       uint64_t get_associated_read(thread_id_t tid, int index, uint32_t marker);
 
        void print();
 
@@ -65,8 +64,8 @@ private:
        bool single_location;
        int execution_number;
 
-       ModelVector<uint64_t> associated_reads;
-       ModelVector<uint32_t> thrd_marker;
+       ModelVector< ModelVector<uint64_t> * > associated_reads;
+       ModelVector< ModelVector<uint32_t> * > thrd_markers;
 
        /**
         * Collisions store a list of FuncInsts with the same position