ppolinsky/cs61bl-proof-checker — pull request #12 by chashemi (2013-07-28 00:31:24+00:00)
Title: Update ExpressionTest.java

Added test cases. Removed the case of (p*q) because this should be in an incorrect expressions case (i.e. I like seeing the green bar).

Added tests for isApplicable (for theorems). Test the example theorems from the spec.