projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
allow ModelHistory to process non-atomic actions when they are created
[c11tester.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index d477a04abcfa759478fa42493fb73175d9b18471..c6962bc07aeeea50c693c02c78a3aaf5ed3fbe84 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-280,6
+280,7
@@
ModelAction * ModelExecution::convertNonAtomicStore(void * location) {
add_normal_write_to_lists(act);
add_write_to_lists(act);
w_modification_order(act);
+ model->get_history()->process_action(act, act->get_tid());
return act;
}