X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=pipe.cc;h=1f451dcbe41ee85473494bad7896206594a57afc;hp=95a9a43970f524d9be415e45776303cd0b50bf30;hb=7742256df627848c1c375f979f5369a45c92057b;hpb=fcc90758629b11f123081c80bb3c37e7ca2a4608

diff --git a/pipe.cc b/pipe.cc
index 95a9a439..1f451dcb 100644
--- a/pipe.cc
+++ b/pipe.cc
@@ -8,11 +8,7 @@
 static int (*pipe_init_p)(int filep[2]) = NULL;
 
 int pipe(int fildes[2]) {
-	if (!model) {
-		snapshot_system_init(10000, 1024, 1024, 40000);
-		model = new ModelChecker();
-		model->startChecker();
-	}
+	createModelIfNotExist();
 	if (!pipe_init_p) {
 		pipe_init_p = (int (*)(int fildes[2]))dlsym(RTLD_NEXT, "pipe");
 		char *error = dlerror();