jaynel/uffda — pull request #4 by pierce-m (2014-07-10 00:43:36+00:00)
Title: [wip] Newfsm tests

http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_finite_state_machines.html

http://proper.softlab.ntua.gr/doc/