Implement spurious wakeup for ATOMIC_WAIT

[c11tester.git] / newfuzzer.h

diff --git a/newfuzzer.h b/newfuzzer.h
index 26fab3f6c2fff4e0ed995e4d68a8dd7733ecb5f5..67454ffc268198c96b13360c23df9a0da0939990 100644 (file)
--- a/newfuzzer.h
+++ b/newfuzzer.h
@@ -32,7 +32,6 @@ public:
        Thread * selectNotify(simple_action_list_t * waiters);
        bool shouldSleep(const ModelAction * sleep);
        bool shouldWake(const ModelAction * sleep);
-       bool shouldWait(const ModelAction * wait);
 
        void register_engine(ModelChecker * model, ModelExecution * execution);
        Predicate * get_selected_child_branch(thread_id_t tid);