perror("sigaction(SIGSEGV)");
exit(EXIT_FAILURE);
}
+}
+void createModelIfNotExist() {
+ if (!model) {
+ snapshot_system_init(100000);
+ model = new ModelChecker();
+ model->startChecker();
+ }
}
/** @brief Constructor */
}
ModelAction *act = thr->get_pending();
- if (act && execution->is_enabled(tid)){
+ if (act && scheduler->is_enabled(tid)){
/* Don't schedule threads which should be disabled */
if (!execution->check_action_enabled(act)) {
scheduler->sleep(thr);