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

Bug 321

Summary:	Missing option description in help message of verifyta
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P1
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Ulrik Nyman 2006-04-27 12:33:45 CEST

The help message of verifyta "verifyta -h" does not contain any information about the -u option.

Comment 1 Gerd Behrmann 2006-04-27 17:16:50 CEST

Fixed on the trunk from rev. 1760.