kind2-mc/kind2 — pull request #201 by AdrienChampion (2014-12-18 21:30:11+00:00)
Title: Improved invariant generation

- Communication of subsystem invariants,
- conditional assertion of the transition relations and invariants in lsd,
- pruning of the invariants now takes place before the check for step,
- possibility to iterate invariant generation at subsystem level before moving on to the next system (--invgen_max_succ).