projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: don't reset action_trace manually
[c11tester.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index 7cef4b670065e21456e2e5758e61aaa0c4a3c854..379fb3b1fc15f219cdd870b4976af0e394fd2263 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-124,10
+124,10
@@
void NodeStack::print()
ModelAction * NodeStack::explore_action(ModelAction *act)
{
DBG();
ModelAction * NodeStack::explore_action(ModelAction *act)
{
DBG();
- if (node_list.empty()) {
-
node_list.push_back(new Node(act
));
- iter = node_list.begin();
-
} else
if (get_head()->has_been_explored(act->get_tid())) {
+
+
ASSERT(!node_list.empty(
));
+
+ if (get_head()->has_been_explored(act->get_tid())) {
/* Discard duplicate ModelAction */
delete act;
iter++;
/* Discard duplicate ModelAction */
delete act;
iter++;