Changeset [3d41b815c1a5a2ca566f455a97eed11eaff16b9a] by Andre Steingress
Revision 3d41b815c1a5a2ca566f455a97eed11eaff16b9a,
committed by Andre Steingress
· May 19th, 2011 @ 11:26 AM
added test-case for violating the postcondition
https://github.com/andresteingress/gcontracts/commit/3d41b815c1a5a2...
1 changed file
-
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy