projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: privatize some functions
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 43700989ad530a057fdcd70f45f30ad2b01f147e..72610f6581e500231941a1613274891556687f3f 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-2510,13
+2510,6
@@
bool ModelChecker::take_step() {
return (Thread::swap(&system_context, next) == 0);
}
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 *)
{
/** 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 */
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();
} while (next_execution());
print_stats();