use seq schedule both times

egraphs-good · Nov 13, 2024 · 0a5ceb1 · 0a5ceb1
1 parent 62f67d0
commit 0a5ceb1
Showing 1 changed file with 2 additions and 20 deletions.
diff --git a/dag_in_context/src/schedule.rs b/dag_in_context/src/schedule.rs
@@ -115,24 +115,6 @@ pub fn mk_sequential_schedule() -> Vec<String> {
 /// Parallel schedule must return a single string,
 /// a schedule that runs optimizations over the egraph.
 pub fn parallel_schedule() -> Vec<String> {
-    let helpers = helpers();
-
-    vec![format!(
-        "
-(run-schedule
-
-    (repeat 2
-        {helpers}
-        all-optimizations
-    )
-
-    (repeat 4
-        {helpers}
-        cheap-optimizations
-    )
-
-    {helpers}
-)
-"
-    )]
+    // TODO currently just the sequential schedule
+    mk_sequential_schedule()
 }