some edits to NewFuzzer

[c11tester.git] / newfuzzer.h

diff --git a/newfuzzer.h b/newfuzzer.h
index 0fb730ab18cb78b2730000d17cc5b44033ae23ec..f50c47651fa01ded23ec65db13d951edf2e543c0 100644 (file)
--- a/newfuzzer.h
+++ b/newfuzzer.h
@@ -14,8 +14,13 @@ public:
        Thread * selectNotify(action_list_t * waiters);
        bool shouldSleep(const ModelAction *sleep);
        bool shouldWake(const ModelAction *sleep);
+
+       void register_engine(ModelHistory * history, ModelExecution * execution);
+
        MEMALLOC
 private:
+       ModelHistory * history;
+       ModelExecution * execution;
 };
 
 #endif /* end of __NEWFUZZER_H__ */