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

Bug 525

Summary: Options menu not available
Product: UPPAAL Reporter: Patricia Bouyer-Decitre <bouyer>
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: normal    
Priority: P2    
Version: 4.1.4   
Hardware: Macintosh   
OS: Mac OS   
Architecture:

Description Patricia Bouyer-Decitre 2011-09-13 15:27:37 CEST 
The "options" menu is empty on this mac-os version of uppaal (I tried with the current developer version and with the current academic version).  This is in particular not possible to get error trace when verifying the system.

Cheers,

Patricia.