Changeset: Changeset [14e6fc9a4387796b92a877cb9a18c8c96b045f86] by Andre Steingress - gcontracts-core

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

Changeset [14e6fc9a4387796b92a877cb9a18c8c96b045f86] by Andre Steingress

October 9th, 2012 @ 10:23 PM

GCONTRACTS_ENABLED var is now boolean, using HashSet in ContractExecutionTracker
https://github.com/andresteingress/gcontracts/commit/14e6fc9a438779...

Committed by Andre Steingress

M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ConfigurationSetup.java
M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
M gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java
M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

core module