redo model object initialization
[c11tester.git] / pthread.cc
index 8c2bc07..35af63e 100644 (file)
@@ -49,6 +49,7 @@ void pthread_exit(void *value_ptr) {
 
 int pthread_mutex_init(pthread_mutex_t *p_mutex, const pthread_mutexattr_t *) {
        if (!model) {
+               snapshot_system_init(10000, 1024, 1024, 40000);
                model = new ModelChecker();
        }