Change initialize a bit

[c11tester.git] / pipe.cc

diff --git a/pipe.cc b/pipe.cc
index 95a9a43970f524d9be415e45776303cd0b50bf30..1f451dcbe41ee85473494bad7896206594a57afc 100644 (file)
--- 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();