4 #include "snapshot-interface.h"
8 static int (*pipe_init_p)(int filep[2]) = NULL;
10 int pipe(int fildes[2]) {
12 snapshot_system_init(10000, 1024, 1024, 40000);
13 model = new ModelChecker();
14 model->startChecker();
17 pipe_init_p = (int (*)(int fildes[2]))dlsym(RTLD_NEXT, "pipe");
18 char *error = dlerror();
24 return pipe_init_p(fildes);