projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: move has_priority() out of header
[model-checker.git]
/
snapshot-interface.cc
diff --git
a/snapshot-interface.cc
b/snapshot-interface.cc
index d93e5c20dce3203378c2ea9d4f611bb90580686d..47fafa5b0641f8865cb279c47f08531e9cbfd4f1 100644
(file)
--- a/
snapshot-interface.cc
+++ b/
snapshot-interface.cc
@@
-124,13
+124,13
@@
int SnapshotStack::backTrackBeforeStep(int seqindex) {
}
struct stackEntry *tmp=stack;
stack=stack->next;
}
struct stackEntry *tmp=stack;
stack=stack->next;
-
MYFREE
(tmp);
+
model_free
(tmp);
}
}
/** This method takes a snapshot at the given sequence number. */
void SnapshotStack::snapshotStep(int seqindex) {
}
}
/** This method takes a snapshot at the given sequence number. */
void SnapshotStack::snapshotStep(int seqindex) {
- struct stackEntry *tmp=(struct stackEntry *)
MYMALLOC
(sizeof(struct stackEntry));
+ struct stackEntry *tmp=(struct stackEntry *)
model_malloc
(sizeof(struct stackEntry));
tmp->next=stack;
tmp->index=seqindex;
tmp->snapshotid=takeSnapshot();
tmp->next=stack;
tmp->index=seqindex;
tmp->snapshotid=takeSnapshot();