Changeset [df901e6cff2637320254dc2d62490ba879a4858a] by Andre Steingress
Revision df901e6cff2637320254dc2d62490ba879a4858a,
committed by Andre Steingress
· May 30th, 2011 @ 11:24 PM
added stack.pop() as replacement for remove() in
ContractExecutionTracker.clear()
https://github.com/andresteingress/gcontracts/commit/df901e6cff2637...
2 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy