From 372a94caf2fd5ecbf86c5752b94ae10df45fd80b Mon Sep 17 00:00:00 2001
From: root <root@dw-6.eecs.uci.edu>
Date: Fri, 28 Jun 2019 22:35:28 -0700
Subject: [PATCH] bug fixes

---
 execution.cc | 2 +-
 snapshot.cc  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/execution.cc b/execution.cc
index b20ad7d5..d5fb194f 100644
--- 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 c24e5ec5..dc42614e 100644
--- 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);
 		}
 	}
 }
-- 
2.34.1