configure restarting manager

fuzzers/FRET/Cargo.toml

@@ -10,6 +10,7 @@ std = []
 snapshot_restore = []
 snapshot_fast = [ "snapshot_restore" ]
 singlecore = []
+restarting = ['singlecore']
 trace_abbs = []
 systemstate = []
 feed_systemgraph = [ "systemstate" ]

fuzzers/FRET/src/fuzzer.rs

@@ -508,9 +508,14 @@ pub fn fuzz() {
     #[cfg(feature = "singlecore")]
     {
         let monitor = SimpleMonitor::new(|s| println!("{}", s));
-        // let mgr = SimpleEventManager::new(monitor);
-        // run_client(None, mgr, 0);
+        #[cfg(not(feature = "restarting"))]
+        {
+            let mgr = SimpleEventManager::new(monitor);
+            run_client(None, mgr, 0);
+        }
 
+        #[cfg(feature = "restarting")]
+        {
             let mut shmem_provider = StdShMemProvider::new().unwrap();
             let (state, mut mgr) = match SimpleRestartingEventManager::launch(monitor, &mut shmem_provider)
             {
@@ -527,6 +532,7 @@ pub fn fuzz() {
             };
             run_client(state, mgr, 0);
         }
+    }
     // else -> multicore
     #[cfg(not(feature = "singlecore"))]
     {