unsigned int curr_thread_num;
Thread * chosen_thread;
- bool thread_chosen;
bool break_execution;
void startRunExecution(Thread *old);
extern ModelChecker *model;
void parse_options(struct model_params *params);
void install_trace_analyses(ModelExecution *execution);
+void createModelIfNotExist();
#endif /* __MODEL_H__ */