Notify threads paused by the Fuzzer when the desired write is available

[c11tester.git] / concretepredicate.h

diff --git a/concretepredicate.h b/concretepredicate.h
index 6319a2ee23abbd29b97dcfd0938f00256fb501ff..f0eaeea905db2ca421aaa71cc8edb143f0a97710 100644 (file)
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -13,7 +13,9 @@ public:
 
        void add_expression(token_t token, uint64_t value, bool equality);
        SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
+       void set_location(void * loc) { location = loc; }
        void * get_location() { return location; }
+       thread_id_t get_tid() { return tid; }
 
        SNAPSHOTALLOC
 private: