Changeset [df901e6cff2637320254dc2d62490ba879a4858a] by Andre Steingress

May 30th, 2011 @ 11:24 PM

added stack.pop() as replacement for remove() in ContractExecutionTracker.clear()

Committed by Andre Steingress

  • M gcontracts-core/src/main/java/org/gcontracts/generation/
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy
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