Fix NewFuzzer::selectWrite - check back edges

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index c5248d726310b8bab5db32b80e0fccc2bbd0556a..d31c22673a4aab928a614075490e79b1362dd9cf 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -18,6 +18,7 @@ public:
        bool shouldWake(const ModelAction *sleep);
        virtual bool shouldWait(const ModelAction *wait) = 0;
        virtual void register_engine(ModelHistory * history, ModelExecution * execution) = 0;
+       virtual Predicate * get_selected_child_branch(thread_id_t tid) = 0;
        SNAPSHOTALLOC
 private:
 };