projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fixup style
[model-checker.git]
/
snapshot-interface.h
diff --git
a/snapshot-interface.h
b/snapshot-interface.h
index c0db0d0c0990595beaea3f1af70933a0f97779a8..ecc60ec6453a9ca4991c92e27d248622a201b7c5 100644
(file)
--- a/
snapshot-interface.h
+++ b/
snapshot-interface.h
@@
-15,25
+15,25
@@
void initSnapshotLibrary(unsigned int numbackingpages,
unsigned int numheappages, VoidFuncPtr entryPoint);
struct stackEntry {
unsigned int numheappages, VoidFuncPtr entryPoint);
struct stackEntry {
- struct stackEntry *next;
- snapshot_id snapshotid;
- int index;
+
struct stackEntry *next;
+
snapshot_id snapshotid;
+
int index;
};
class SnapshotStack {
public:
};
class SnapshotStack {
public:
- MEMALLOC
- SnapshotStack( );
- ~SnapshotStack();
- int backTrackBeforeStep(int seq_index);
- void snapshotStep(int seq_index);
+ SnapshotStack();
+ ~SnapshotStack();
+ int backTrackBeforeStep(int seq_index);
+ void snapshotStep(int seq_index);
+ MEMALLOC
private:
private:
-
struct stackEntry *
stack;
+
struct stackEntry *
stack;
};
/* Not sure what it even means to have more than one snapshot object,
so let's just make a global reference to it.*/
};
/* Not sure what it even means to have more than one snapshot object,
so let's just make a global reference to it.*/
-extern SnapshotStack *
snapshotObject;
+extern SnapshotStack *snapshotObject;
#endif
#endif