UCSD-PL/algorithmic-software-verification — pull request #10 by Ptival (2013-04-29 05:31:51+00:00)
Title: fixing issues in tests

Three fixes which should make students happier.