Add command line args -map and -dot to print state-transition map and dot file respectively
Add command line args -map and -dot to print state-transition map and dot file respectively

amaiorano/hsm-analyze