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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P1
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

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.