Skip to content
Snippets Groups Projects
Commit f1707221 authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

Changes to atrim 

 - rename atrim to atrim.fsm
 - Terminology - redundant state is now dead state
 - allow to remove only unreachable or only dead states (see ./atrim.fsm -h)
 - remove namespace
parent d4f31532
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 99 additions and 148 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment