Use Dot drawing for sequential programs
kderme opened this issue · comments
Dot is already used to print parallel programs. I think with small tweaks it can become available for sequential programs.
advancedtelematic / quickcheck-state-machine
Test monadic programs using state machine based models