projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
change the data structure of thrd_func_inst_list because more information about the...
[c11tester.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index 94be82acea20edd255f56fe6312702a89686df41..cf4c9028c7c804c5031f77f433ceb9aca6cd72aa 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-66,7
+66,7
@@
ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
mo_graph(new CycleGraph()),
fuzzer(new Fuzzer()),
thrd_func_list(),
mo_graph(new CycleGraph()),
fuzzer(new Fuzzer()),
thrd_func_list(),
- thrd_func_
ins
t_lists(),
+ thrd_func_
ac
t_lists(),
isfinished(false)
{
/* Initialize a model-checker thread, for special ModelActions */
isfinished(false)
{
/* Initialize a model-checker thread, for special ModelActions */
@@
-1654,7
+1654,7
@@
Thread * ModelExecution::take_step(ModelAction *curr)
ASSERT(curr);
/* Process this action in ModelHistory for records*/
ASSERT(curr);
/* Process this action in ModelHistory for records*/
-
//
model->get_history()->process_action( curr, curr->get_tid() );
+ model->get_history()->process_action( curr, curr->get_tid() );
if (curr_thrd->is_blocked() || curr_thrd->is_complete())
scheduler->remove_thread(curr_thrd);
if (curr_thrd->is_blocked() || curr_thrd->is_complete())
scheduler->remove_thread(curr_thrd);