X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=022021cd93c38f018d1bf5eecec63b4cb518e6ac;hp=32fa727daa9fdd13807b929d2e2fc1abea0e6453;hb=c8b9d01f03c5ceae9b3ad503e29f6900564cc242;hpb=ec7cf0eb61ee239b3da1f184a9e43f77b0dcc25d

diff --git a/execution.cc b/execution.cc
index 32fa727d..022021cd 100644
--- a/execution.cc
+++ b/execution.cc
@@ -63,7 +63,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
 	thrd_last_action(1),
 	thrd_last_fence_release(),
 	priv(new struct model_snapshot_members ()),
-			 mo_graph(new CycleGraph()),
+	mo_graph(new CycleGraph()),
 	fuzzer(new Fuzzer()),
 	thrd_func_list(),
 	thrd_func_inst_lists(),
@@ -523,7 +523,7 @@ void ModelExecution::process_thread_action(ModelAction *curr)
 	case THREADONLY_FINISH:
 	case THREAD_FINISH: {
 		Thread *th = get_thread(curr);
-		if (curr == THREAD_FINISH &&
+		if (curr->get_type() == THREAD_FINISH &&
 				th == model->getInitThread()) {
 			th->complete();
 			setFinished();