This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 308

Summary: Different order of command line switches -t3 ant -o5 yields different behaviour
Product: UPPAAL Reporter: Juhan Ernits <juhan>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P1    
Version: unspecified   
Hardware: All   
OS: All   

Description Juhan Ernits 2006-04-07 11:21:13 CEST
verifyta behaves differently when invoked with

verifyta -y -t3 -o5 mdl.xml mdl.q


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.