Changeset [3a5962765b6baf077e0395beffeac5fabdba51fb] by Andre Steingress
April 14th, 2011 @ 11:07 AM
multiple return statements cause missing postcondition
validation [#19]
https://github.com/andresteingress/gcontracts/commit/3a5962765b6baf...
Committed by Andre Steingress
- M gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
- M gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy
- M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module