
CIF 3
The trim tool makes an automaton trim by removing all locations that are not reachable or coreachable. The input is a .cif file with a single automaton, and the tool produces a new .cif file with the trim automaton. If the automaton in the input was already trim, all locations are preserved.
The tool can be started in the following ways:
Besides the general application options, this application has the following options: