You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.The text was updated successfully, but these errors were encountered: