disable schedule

egraphs-good · Jun 3, 2024 · 32d15c6 · 32d15c6
1 parent 7445618
commit 32d15c6
Showing 1 changed file with 1 addition and 19 deletions.
diff --git a/dag_in_context/src/schedule.rs b/dag_in_context/src/schedule.rs
@@ -34,7 +34,7 @@ pub(crate) fn helpers() -> String {
 }
 
 pub fn mk_schedule() -> String {
-    let helpers = helpers();
+    let _helpers = helpers();
     format!(
         "
 (unstable-combined-ruleset saturating
@@ -64,24 +64,6 @@ pub fn mk_schedule() -> String {
     loop-strength-reduction
     loop-peel
 )
-
-(run-schedule
-
-    {helpers}
-    loop-peel
-
-    (repeat 2
-        {helpers}
-        all-optimizations
-    )
-
-    (repeat 4
-        {helpers}
-        cheap-optimizations
-    )
-
-    {helpers}
-)
 "
     )
 }