ppolinsky/cs61bl-proof-checker — pull request #7 by chashemi (2013-07-26 00:11:57+00:00)
Title: Update ProofTest.java

added tests for mp, mt, and ic