TeamAmalgam/kodkod — pull request #35 by mhyee (2013-07-18 02:25:27+00:00)
Title: Rename unit test to match convention. Properly implement the without symmetry breaking test

Renamed `PartitionedGIASmallEndToEndTest` to `PGIASmallEndToEndTest` to match convention.

Also actually implemented the withoutSymmetryBreakingTest, because it was still using IGIA and not PGIA.