Changeset [d04bab17589b13934b58783d51cfd82d8e8575fe] by Andre Steingress

April 7th, 2011 @ 09:54 AM

fixed usage of labels in @Requires, @Ensures and @ClassInvariant [#14]
https://github.com/andresteingress/gcontracts/commit/d04bab17589b13...

Committed by Andre Steingress

  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/other/ContractLabelTests.groovy
  • M gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/ExpressionUtils.java
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