Invariant support [#289, #81557010]#294

Closed

xtreme-james-cooper wants to merge 8 commits intocedarbdd:masterfrom

xtreme-james-cooper:master

Commits on Oct 30, 2014

James C - added tests for invariants
James Cooper
committed
James C - invariants now work (first draft)
James Cooper
committed
James C - added a few more tests
James Cooper
committed
James C - made invariants not fire in pending blocks, nor count towards being pending
James Cooper
committed
James C - Added test to ensure inheritance of invariants is transitive
James Cooper
committed

Commits on Oct 31, 2014

James C - added a useful invariant just as an example
James Cooper
committed

Commits on Nov 5, 2014

James C - added invariant synonyms, invariant subtypes (finv and ximv) but have not made invariant focusing work yet
James Cooper
committed
James C - invariants now treat focus properly
James Cooper
committed