bug fixes

diff --git a/execution.cc b/execution.cc
index b20ad7d5ec23a1fe6c34a7dc2e61f3550467cf8e..d5fb194f633c890698cfd91ed08571614ad3956c 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -55,7 +55,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler, NodeStack
        action_trace(),
        thread_map(2),  /* We'll always need at least 2 threads */
        pthread_map(0),
-       pthread_counter(0),
+       pthread_counter(1),
        obj_map(),
        condvar_waiters_map(),
        obj_thrd_map(),

diff --git a/snapshot.cc b/snapshot.cc
index c24e5ec54097d876851b32e681f8334621afd165..dc42614efd8f89d7f6fb6360132afb2fe7410c5b 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -380,7 +380,7 @@ static void fork_loop() {
        snapshotid = fork_snap->currSnapShotID;
        if (model->params.nofork) {
                setcontext(&fork_snap->shared_ctxt);
-               exit(EXIT_SUCCESS);
+               _Exit(EXIT_SUCCESS);
        }
 
        while (true) {
@@ -403,7 +403,7 @@ static void fork_loop() {
                        }
 
                        if (fork_snap->mIDToRollback != snapshotid)
-                               exit(EXIT_SUCCESS);
+                               _Exit(EXIT_SUCCESS);
                }
        }
 }