projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: always re-calculate clock vectors
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 468900aeb6120f659124e09fc839ac8aa53416ee..c4bc693ef5560f646684b3a2cb002e685f4be848 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-543,10
+543,7
@@
ModelAction * ModelChecker::initialize_curr_action(ModelAction *curr)
/* Discard duplicate ModelAction; use action from NodeStack */
delete curr;
/* Discard duplicate ModelAction; use action from NodeStack */
delete curr;
- /* If we have diverged, we need to reset the clock vector. */
- if (diverge == NULL) {
- newcurr->create_cv(get_parent_action(newcurr->get_tid()));
- }
+ newcurr->create_cv(get_parent_action(newcurr->get_tid()));
} else {
newcurr = curr;
/*
} else {
newcurr = curr;
/*