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: EngineAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P1    
Version: unspecified   
Hardware: All   
OS: All   

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.