Changeset [3b8385592738a6a0e2b5aa8d1f85a8a41ce73f6f] by Andre Steingress
Revision 3b8385592738a6a0e2b5aa8d1f85a8a41ce73f6f,
committed by Andre Steingress
· March 1st, 2012 @ 09:16 AM
added test for invariant labels
https://github.com/andresteingress/gcontracts/commit/3b8385592738a6...
2 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ASTNodeMetaData.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/InheritanceTests.groovy