mdsol/crichton — pull request #38 by pservedio (2013-08-30 23:55:34+00:00)
Title: Rdlint2

-Finished todo of checking transitions "next" states as an array
-Fixed spec failure (phantom property in protocol section caught in r1.9.3-p327, but not in r1.9.2.-p290)