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   

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.