Changeset [14e6fc9a4387796b92a877cb9a18c8c96b045f86] by Andre Steingress
Revision 14e6fc9a4387796b92a877cb9a18c8c96b045f86,
committed 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...
4 changed files
-
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