Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into...

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index bada736d35ab0979b217d923785efcec4acde7f1..d73613832e867eb069b5f5288b72f95bc04c96ff 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -12,6 +12,7 @@
 #include "mymemory.h"
 #include "common.h"
 #include "context.h"
 #include "mymemory.h"
 #include "common.h"
 #include "context.h"

+#include "model.h"

 
 /** PageAlignedAdressUpdate return a page aligned address for the
  * address being added as a side effect the numBytes are also changed.
 
 /** PageAlignedAdressUpdate return a page aligned address for the
  * address being added as a side effect the numBytes are also changed.


@@ -383,7 +384,11 @@ static void fork_snapshot_init(unsigned int numbackingpages,
 
        /* switch back here when takesnapshot is called */
        snapshotid = fork_snap->currSnapShotID;
 
        /* switch back here when takesnapshot is called */
        snapshotid = fork_snap->currSnapShotID;

-
+       if (model->params.nofork) {
+         setcontext(&fork_snap->shared_ctxt);
+         exit(EXIT_SUCCESS);
+       }
+       

        while (true) {
                pid_t forkedID;
                fork_snap->currSnapShotID = snapshotid + 1;
        while (true) {
                pid_t forkedID;
                fork_snap->currSnapShotID = snapshotid + 1;