From: root <root@dw-6.eecs.uci.edu>
Date: Sat, 29 Jun 2019 05:35:28 +0000 (-0700)
Subject: bug fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=372a94caf2fd5ecbf86c5752b94ae10df45fd80b;p=c11tester.git

bug fixes
---

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);
 		}
 	}
 }