Add option to change output automaton name for CIF state space generation
More concretely, the CIF 3 explorer (untimed state space generation tool) should get a --name
/ -n
option to specify the output automaton name. The default can be the current fixed statespace
name.
The use case is to generate the state space for two models, then being able to merge the models, and do a language equivalence check on them. Now, this requires a manual rename in between.
The CIF data-based synthesis tool already has a similar option to name the resulting supervisor automaton.