Wed, 17 Feb 2010 13:38:02 +0100 | blanchet | don't destroy "Suc" in Nitpick and fix logic of Kodkod filtering (accidentally flipped in previous change) | changeset | files |
Wed, 17 Feb 2010 12:14:21 +0100 | blanchet | merged | changeset | files |
Wed, 17 Feb 2010 12:14:08 +0100 | blanchet | added yet another hint to Nitpick's output, this time warning about problems for which nothing was effectively tested | changeset | files |