change snapshot mode

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index f088bace5632a41487f071e1f1c61f2fa8d50e4e..752731e246adc93c9ecaa6a03fef22471f04f77c 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -74,6 +74,10 @@ public:
         */
        uint64_t get_return_value() const { return last_action_val; }
 
+       /** @set and get the return value from pthread functions */
+       void set_pthread_return(void *ret) { pthread_return = ret; }
+       void * get_pthread_return() { return pthread_return; }
+
        /** @return True if this thread is finished executing */
        bool is_complete() const { return state == THREAD_COMPLETED; }
 
@@ -149,6 +153,9 @@ private:
         */
        uint64_t last_action_val;
 
+       /** the value return from pthread functions */
+       void * pthread_return;
+
        /** @brief Is this Thread a special model-checker thread? */
        const bool model_thread;
 };