fsm_export: optionally use binary state encoding as state names instead of
authorJohann Glaser <Johann.Glaser@gmx.at>
Fri, 5 Apr 2013 13:34:40 +0000 (15:34 +0200)
committerJohann Glaser <Johann.Glaser@gmx.at>
Fri, 5 Apr 2013 13:34:40 +0000 (15:34 +0200)
commit7ef245aa7d15195b3f4200d2d3cb2796bc695b88
treec660d5517f5d6433fd67def375cfea55191c9362
parent9714072b28b41b1ef4205247c294f855f4b396e8
fsm_export: optionally use binary state encoding as state names instead of
s0, s1, ...
passes/fsm/fsm_export.cc