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 [2c621bda827868cb2061fa6679233b526568b4b1] by Andre Steingress

Revision 2c621bda827868cb2061fa6679233b526568b4b1, committed by Andre Steingress · October 10th, 2012 @ 09:16 PM

1 changed file

  • M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java