kind2-mc/kind2 — pull request #182 by AdrienChampion (2014-11-24 23:49:21+00:00)
Title: Invariant generation, one state and two state

One state is activated by INVGENOS while two state is INVGEN.
Use "--invgen_atoms_only" to deactivate subterm extraction ;
use "--invgen_top_only" to deactivate subsystem invariant discovery ;
use "--invgen_no_trans_subterms" to deactivate trans subterm extraction.