Changeset [8cf2baa0fa1b78418c9d433ee615165e92e22d90] by Andre Steingress
Revision 8cf2baa0fa1b78418c9d433ee615165e92e22d90,
committed 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...
1 changed file
-
M
gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java