pivotal/cedar — pull request #294 by xtreme-james-cooper (2014-10-30 16:20:50+00:00)
Title: Invariant support [#286, #81557010]

Changes to allow the automated testing of class invariants, as explained in issue https://github.com/pivotal/cedar/issues/289