Changeset [886b27eff16514e7752dc0361a53a16007835634] by Andre Steingress

March 1st, 2011 @ 03:05 PM

moved computation of old variable inside GCONTRACTS_ENABLED block in if-statements
https://github.com/andresteingress/gcontracts/commit/886b27eff16514...

Committed by Andre Steingress

  • M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.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