Changeset [8cf2baa0fa1b78418c9d433ee615165e92e22d90] by Andre Steingress

2011-05-09 10:09:26 UTC

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