Package slime.checks.tests

Class Summary
TestExpressions Test expression This is just a list of string expressions that can be iterated through for testing.
TypecheckTest TypecheckTest A little testing of the typechecker, using the parser code ``recycled'' from sfcparser.ParserTest.java
WellformedTest WellformedTest A little testing of the wellformedness checker, using the parser