From 199da498ae8b77ff23422a351697f823ad0d1500 Mon Sep 17 00:00:00 2001
From: Edward Chen <edwjchen@gmail.com>
Date: Wed, 25 May 2022 02:48:10 -0400
Subject: [PATCH] why such large output

---
 examples/circ.rs | 24 ++++++++++++++++--------
 1 file changed, 16 insertions(+), 8 deletions(-)

diff --git a/examples/circ.rs b/examples/circ.rs
index 01d6f5bf..0c55760c 100644
--- a/examples/circ.rs
+++ b/examples/circ.rs
@@ -232,6 +232,14 @@ fn main() {
             panic!("Missing feature: c");
         }
     };
+
+    for (name, comp) in cs.computations.iter() {
+        println!("pre opt functions: {}", name);
+        for t in &comp.outputs {
+            println!("pre opt function term: {}, {}", t, t.uid());
+        }
+    }
+
     cs = match mode {
         Mode::Opt => opt(
             cs,
@@ -292,14 +300,14 @@ fn main() {
         println!("functions: {}", name);
         for t in &comp.outputs {
             println!("function term: {}, {}", t, t.uid());
-            for t1 in PostOrderIter::new(t.clone()) {
-                println!("term: {}, {}", t1, t1.uid());
-                for c in t1.cs.iter() {
-                    println!("children: {}, {}", c, c.uid());
-                }
-                println!();
-            }
-            println!();
+            // for t1 in PostOrderIter::new(t.clone()) {
+            //     println!("term: {}, {}", t1, t1.uid());
+            //     for c in t1.cs.iter() {
+            //         println!("children: {}, {}", c, c.uid());
+            //     }
+            //     println!();
+            // }
+            // println!();
         }
         println!("\n");
     }