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.

All changesets

Changeset [3b3b5901e33f521bdf2376a9867b545e9b51e5bf] by Andre Steingress

Revision 3b3b5901e33f521bdf2376a9867b545e9b51e5bf, committed by Andre Steingress · May 18th, 2011 @ 10:38 AM

2 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/InheritanceTests.groovy