It would be nice if ltl3tela could diagnose unknown options that are passed to it.
By error, I just typed ltl3tela -H1 -f GFa, and expected to get the intermediate alternating automaton. Option -H1 is used for that purpose in ltl3ba and ltl3dra, however in ltl3tela it's called -p1.
It took me a while to realize my mistake, because ltl3tela never complained about the unknown option -H1. In fact you can run commands like ltl3tela -HELP -IDONTKNOWNWHATIMDOING -f a and ltl3tela will output an automaton without complaining.
It would be nice if
ltl3telacould diagnose unknown options that are passed to it.By error, I just typed
ltl3tela -H1 -f GFa, and expected to get the intermediate alternating automaton. Option-H1is used for that purpose inltl3baandltl3dra, however inltl3telait's called-p1.It took me a while to realize my mistake, because
ltl3telanever complained about the unknown option-H1. In fact you can run commands likeltl3tela -HELP -IDONTKNOWNWHATIMDOING -f aandltl3telawill output an automaton without complaining.