projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
More bug fixes
[c11tester.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index 4e4a6bb28e9b8a1d885ddd78fd4023cec6893c2b..1c03a97a7fd84ebd94e62023dca558602e33d93e 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-63,7
+63,7
@@
ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
thrd_last_fence_release(),
priv(new struct model_snapshot_members ()),
mo_graph(new CycleGraph()),
thrd_last_fence_release(),
priv(new struct model_snapshot_members ()),
mo_graph(new CycleGraph()),
- fuzzer(new
New
Fuzzer()),
+ fuzzer(new Fuzzer()),
isfinished(false)
{
/* Initialize a model-checker thread, for special ModelActions */
isfinished(false)
{
/* Initialize a model-checker thread, for special ModelActions */
@@
-1823,6
+1823,11
@@
void ModelExecution::collectActions() {
removeAction(act);
delete act;
}
removeAction(act);
delete act;
}
+ } else if (act->is_create()) {
+ if (act->get_thread_operand()->get_state()==THREAD_COMPLETED) {
+ removeAction(act);
+ delete act;
+ }
} else {
removeAction(act);
delete act;
} else {
removeAction(act);
delete act;