Changeset [8cf2baa0fa1b78418c9d433ee615165e92e22d90] by Andre Steingress
May 9th, 2011 @ 10:09 AM
fixed class invariant check on return statement with
assignment
https://github.com/andresteingress/gcontracts/commit/8cf2baa0fa1b78...
Committed by Andre Steingress
- M gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module