Contains the typechecking test cases for the JML checker.

Conventions

Test cases that do not have any output should be listed in the no-output-tests file. (It is possible that the order in this file matters.) Doing this will help speed testing of JML.