search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Rename unit test to match convention. Properly implement the without symmetry breaking test #35

Closed mhyee closed 11 years ago

mhyee commented 11 years ago

Renamed PartitionedGIASmallEndToEndTest to PGIASmallEndToEndTest to match convention.

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