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

Bug 308 - Different order of command line switches -t3 ant -o5 yields different behaviour
Summary: Different order of command line switches -t3 ant -o5 yields different behaviour
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: All All
: P1 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-04-07 11:21 CEST by Juhan Ernits
Modified: 2006-05-16 21:37 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.