Changeset [1bef314b0d4a872b53069e247eb91a94b88f74ce] by Andre Steingress
Revision 1bef314b0d4a872b53069e247eb91a94b88f74ce,
committed by Andre Steingress
· April 12th, 2011 @ 11:22 AM
precondition specification on constructor with default value
fails [#20]
https://github.com/andresteingress/gcontracts/commit/1bef314b0d4a87...
2 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy