X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=72610f6581e500231941a1613274891556687f3f;hp=43700989ad530a057fdcd70f45f30ad2b01f147e;hb=8f82e4c697b8f4ca7b3d4e79ace1b9cf1dc259d2;hpb=4b03f676b719a8e10990f33d746ce5dd94d1337d

diff --git a/model.cc b/model.cc
index 43700989..72610f65 100644
--- a/model.cc
+++ b/model.cc
@@ -2510,13 +2510,6 @@ bool ModelChecker::take_step() {
 	return (Thread::swap(&system_context, next) == 0);
 }
 
-/** Runs the current execution until threre are no more steps to take. */
-void ModelChecker::finish_execution() {
-	DBG();
-
-	while (take_step());
-}
-
 /** Wrapper to run the user's main function, with appropriate arguments */
 void user_main_wrapper(void *)
 {
@@ -2533,7 +2526,7 @@ void ModelChecker::run()
 		add_thread(new Thread(&user_thread, &user_main_wrapper, NULL));
 
 		/* Wait for all threads to complete */
-		finish_execution();
+		while (take_step());
 	} while (next_execution());
 
 	print_stats();