/test/Expr/

• ../
• Evaluate.pc
• Evaluate2.pc
• Lexer
• Parser
• print-smt.pc
• print-smt.smt2.good