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
New-ticket 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

Shared Ticket Bins