clippy + debug
@@ -137,8 +137,7 @@ fn one_way<L: SynthLanguage>(
let mut l_id;
let mut r_id;
- for i in 0..params.iter_limit {
- // println!("{}", i);
+ for _ in 0..params.iter_limit {
// Sat
runner = mk_runner(params, runner.egraph, &l, &r)
.with_node_limit(usize::MAX)
@@ -146,14 +145,6 @@ fn one_way<L: SynthLanguage>(
.with_iter_limit(100)
.run(&sat);
- // println!("{:?}", runner.stop_reason.unwrap());
- match runner.stop_reason.clone().unwrap() {
- StopReason::IterationLimit(_)
- | StopReason::NodeLimit(_)
- | StopReason::TimeLimit(_) => println!("{:?}", runner.stop_reason.unwrap()),
- _ => (),
- }
-
l_id = runner.egraph.find(runner.roots[0]);
r_id = runner.egraph.find(runner.roots[1]);
@@ -166,8 +157,6 @@ fn one_way<L: SynthLanguage>(
.with_iter_limit(1)
.run(&other);
- // println!("{:?}", runner.stop_reason.unwrap());
-
l_id = runner.egraph.find(runner.roots[0]);
r_id = runner.egraph.find(runner.roots[1]);
