pthread join seems to be working

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index f7b66a89fc68482d5b2a0989ab1c88ec966ad5d7..f54c9d2aeb9b03d784d6c0762b037e765000d23b 100644 (file)
--- a/action.h
+++ b/action.h
@@ -189,10 +189,11 @@ public:
        bool may_read_from(const Promise *promise) const;
        MEMALLOC
 
-// Added by WL
-       void set_value(uint64_t val) {
-               value = val;
-       }
+       void set_value(uint64_t val) { value = val; }
+
+       /* to accomodate pthread create and join */
+       Thread * thread_operand;
+       void set_thread_operand(Thread *th) { thread_operand = th; } 
 private:
 
        const char * get_type_str() const;