Minor changes -- more comments, removed some debugging lines

Author: Nikil-Shyamsunder

src/ir.rs

@@ -223,6 +223,7 @@ pub enum BoxedExpr {
 }
 
 impl BoxedExpr {
+    // starting character of the expression
     pub fn start(&self) -> usize {
         match self {
             BoxedExpr::Const(_, start, _) => *start,
@@ -233,6 +234,7 @@ impl BoxedExpr {
         }
     }
 
+    // ending character of the expression
     pub fn end(&self) -> usize {
         match self {
             BoxedExpr::Const(_, _, end) => *end,
@@ -244,8 +246,6 @@ impl BoxedExpr {
     }
 }
 
-// add further bin ops
-
 #[derive(Clone, Copy, Hash, PartialEq, Eq, Default)]
 pub struct StructId(u32);
 entity_impl!(StructId, "struct");

src/parser.rs

@@ -204,7 +204,7 @@ fn parse_expr(pairs: Pairs<Rule>, tr: &mut Transaction, st: &mut SymbolTable, fi
     let expr_id = boxed_expr_to_expr_id(boxed_expr, tr, st, fileid);
 
     // print out expr loc for testing
-    println!("Expr: {:?}, Expr loc: {:?}", serialize_expr(tr, st, &expr_id), tr.get_expr_loc(expr_id));
+    // println!("Expr: {:?}, Expr loc: {:?}", serialize_expr(tr, st, &expr_id), tr.get_expr_loc(expr_id));
 
     expr_id
 }  
@@ -453,7 +453,7 @@ mod tests {
     use super::*;
 
     fn test_re_serialize(tr: Transaction, st : SymbolTable, filename: &str) {
-        println!("Transaction {:?}: {:?}", tr.name, tr);
+        // println!("Transaction {:?}: {:?}", tr.name, tr);
         println!("============= {} =============", filename);
 
         // Serialize into a string first, and then use println macro; 

tests/add_struct.prot

@@ -14,5 +14,5 @@ fn add<DUT: Adder>(in a: u32, in b: u32, out s: u32) {
   DUT.b := X;
   s := DUT.s;
   DUT.s := a;
-  // assert_eq(s, DUT.s);
+  assert_eq(s, DUT.s);
 }

tests/aes128.prot

@@ -14,6 +14,6 @@ fn aes128<dut : TinyAES128>(in key: u128, in state: u128, out output: u128) {
   dut.state := X;
   dut.key := X;
   // twenty cycles to complete
-  // step(20);
+  // step(20); (commented until we modify the IR to allow for expresisons in Step stmts)
   assert_eq(dut.output, output);
 }