/test/Expr/

• ../
• Evaluate.kquery
• Evaluate2.kquery
• Lexer
• Parser
• ReadExprConsistency.c
• print-smt-let.kquery
• print-smt-let.smt2.good
• print-smt-named.kquery
• print-smt-named.smt2.good
• print-smt-none.kquery
• print-smt-none.smt2.good