Get gdax to not crash

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 4d8558e270613e968cccb01ea282f4af04d36a70..8983d017f80fa1c5a17d53bd03edb49cedea102b 100644 (file)
--- a/model.h
+++ b/model.h
@@ -33,7 +33,7 @@ class ModelChecker {
 public:
        ModelChecker();
        ~ModelChecker();
-       void setParams(struct model_params params);
+       model_params * getParams();
        void run();
 
        /** Restart the model checker, intended for pluggins. */
@@ -74,6 +74,7 @@ private:
        Scheduler * const scheduler;
        NodeStack * const node_stack;
        ModelExecution *execution;
+       Thread * init_thread;
        ModelHistory *history;
 
        int execution_number;
@@ -106,5 +107,5 @@ private:
 };
 
 extern ModelChecker *model;
-
+extern bool modelchecker_started;
 #endif /* __MODEL_H__ */