Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Changeset [ae3ced841930f2e1a20bfc9b62bc97292d02ea3e] by Andre Steingress

Revision ae3ced841930f2e1a20bfc9b62bc97292d02ea3e, committed by Andre Steingress · May 23rd, 2011 @ 09:16 PM

fixed [#17] old variable generation on inherited instance variables
https://github.com/andresteingress/gcontracts/commit/ae3ced841930f2...

3 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PostconditionLifecycle.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/OldVariablePostconditionTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy