X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;fp=model.cc;h=2aa31e9b596d9e46f5b147536134e3648bc9d498;hb=7742256df627848c1c375f979f5369a45c92057b;hp=8f974762043065de618aea980d89ac2321ec9dcd;hpb=25d73096cfc14c655f94b01bb235cc5efd1d5696;p=c11tester.git

diff --git a/model.cc b/model.cc
index 8f974762..2aa31e9b 100644
--- a/model.cc
+++ b/model.cc
@@ -54,7 +54,14 @@ void install_handler() {
 		perror("sigaction(SIGSEGV)");
 		exit(EXIT_FAILURE);
 	}
+}
 
+void createModelIfNotExist() {
+	if (!model) {
+		snapshot_system_init(100000);
+		model = new ModelChecker();
+		model->startChecker();
+	}
 }
 
 /** @brief Constructor */