projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
threads/model: allocate Thread from w/in ModelChecker
[model-checker.git]
/
snapshot.cc
diff --git
a/snapshot.cc
b/snapshot.cc
index 16b0b616e3ebca00a453d8d0903ddcb2e2838711..fb1f911557e09345ed7b8299e19d6edce97eb399 100644
(file)
--- a/
snapshot.cc
+++ b/
snapshot.cc
@@
-398,10
+398,11
@@
static void fork_roll_back(snapshot_id theID)
#endif /* !USE_MPROTECT_SNAPSHOT */
#endif /* !USE_MPROTECT_SNAPSHOT */
-/** The initSnapshotLibrary function initializes the snapshot library.
- * @param entryPoint the function that should run the program.
+/**
+ * @brief Initializes the snapshot system
+ * @param entryPoint the function that should run the program.
*/
*/
-void
initSnapshotLibrary
(unsigned int numbackingpages,
+void
snapshot_system_init
(unsigned int numbackingpages,
unsigned int numsnapshots, unsigned int nummemoryregions,
unsigned int numheappages, VoidFuncPtr entryPoint)
{
unsigned int numsnapshots, unsigned int nummemoryregions,
unsigned int numheappages, VoidFuncPtr entryPoint)
{