|Summary:||Different order of command line switches -t3 ant -o5 yields different behaviour|
|Product:||UPPAAL||Reporter:||Juhan Ernits <juhan>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Juhan Ernits 2006-04-07 11:21:13 CEST
verifyta behaves differently when invoked with verifyta -y -t3 -o5 mdl.xml mdl.q and verifyta -y -o5 -t3 mdl.xml mdl.q It is indeed specified in the docs that -t3 enables -o4 automatically, but this option can only be overriden when -o5 comes _after_ -t3. It took me a while to figure thit out and thus the suggestion to document this or to treat the switches on the command line independent of the order of occurrence (switches grouped with their arguments, of course).
Comment 1 Gerd Behrmann 2006-04-07 12:42:41 CEST
This is a documentation issue. The behaviour is as intended.
Comment 2 Gerd Behrmann 2006-05-16 21:37:13 CEST
Added a comment about this to the verifyta -h help screen.