Changeset [88df45de9607f46d3cdb8454c15f6abb4752c3b3] by Andre Steingress
Revision 88df45de9607f46d3cdb8454c15f6abb4752c3b3,
committed by Andre Steingress
· April 12th, 2011 @ 11:11 AM
precondition specification on constructor with default value
fails [#20]
https://github.com/andresteingress/gcontracts/commit/88df45de9607f4...
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