FREEDM-DGI/FREEDM — pull request #367 by lfqt5 (2014-05-01 16:01:44+00:00)
Title: Cps debugging

Invariant check code has been an option in freedm.cfg. The default setting is to disable the invariant check in DGI.