Merge pull request #13 from stanford-ppl/dev

Dev

Cargo.toml

@@ -37,7 +37,7 @@ fastrand = "2.0.1"
 futures = "0.3.30"
 
 [features]
-default = ["dot", "log-mongo", "coroutines"]
+default = ["coroutines"]
 dot = ["dep:graphviz-rust"]
 log-mongo = ["dep:mongodb", "logging"]
 test-log-mongo = ["log-mongo"]

src/channel/utils.rs

@@ -133,10 +133,12 @@ mod tests {
     #[test]
     fn test_receiver() {
         let mut ctx = ProgramBuilder::default();
+        #[cfg(feature = "coroutines")]
+        crate::shim::config().set_stack_size(1 << 16);
         let (snd, rcv) = ctx.unbounded();
         ctx.add_child(TraceContext::new(
             // (Value, Time) pairs
-            || random_trace::<u32>(4096, 0, 16),
+            || random_trace::<u32>(2, 0, 16),
             snd,
         ));
 

src/templates/pmu.rs

@@ -49,15 +49,17 @@ impl<T: DAMType, IT: IndexLike, AT: DAMType> Context for PMU<T, IT, AT> {
                 }
                 self.reader.run();
                 self.reader.cleanup();
-            }).unwrap();
+            })
+            .unwrap();
             crate::shim::spawn!(s, || {
                 if let Some(mut logger) = write_log {
                     logger.id = self.writer.id();
                     initialize_log(logger);
                 }
                 self.writer.run();
                 self.writer.cleanup();
-            }).unwrap();
+            })
+            .unwrap();
         });
     }
 
@@ -338,7 +340,7 @@ mod tests {
 
     #[test]
     fn simple_pmu_test() {
-        const TEST_SIZE: usize = 1024 * 64;
+        const TEST_SIZE: usize = 64;
         let mut parent = ProgramBuilder::default();
         const CHAN_SIZE: usize = TEST_SIZE;
 

tests/channel_test.rs

@@ -30,6 +30,8 @@ mod tests {
     }
 
     fn run_channel_test(test_size: i32, flavor_inference: bool, capacity: Option<usize>) {
+        #[cfg(feature = "coroutines")]
+        dam::shim::config().set_stack_size(1 << 16);
         let mut ctx = ProgramBuilder::default();
 
         let (snd, rcv) = match capacity {