fix mutex_trylock bug
[c11tester.git] / concretepredicate.h
index 6319a2e..1440763 100644 (file)
@@ -9,11 +9,13 @@
 class ConcretePredicate {
 public:
        ConcretePredicate(thread_id_t tid);
-       ~ConcretePredicate();
+       ~ConcretePredicate() {}
 
        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:
@@ -22,4 +24,4 @@ private:
        SnapVector<struct concrete_pred_expr> expressions;
 };
 
-#endif /* __CONCRETE_PREDICATE_H */
+#endif /* __CONCRETE_PREDICATE_H */