add basic parameter handling

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 44235e612f28011ed7dbdd8a87e1ffb4d69aab31..71cf14a3ce136202276e941372ae412787848bac 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -15,13 +15,14 @@
 ModelChecker *model;
 
 /** @brief Constructor */
-ModelChecker::ModelChecker() :
+ModelChecker::ModelChecker(struct model_params params) :
        /* Initialize default scheduler */
        scheduler(new Scheduler()),
        /* First thread created will have id INITIAL_THREAD_ID */
        next_thread_id(INITIAL_THREAD_ID),
        used_sequence_numbers(0),
        num_executions(0),
+       params(params),
        current_action(NULL),
        diverge(NULL),
        nextThread(THREAD_ID_T_NONE),