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

Bug 525 - Options menu not available
Summary: Options menu not available
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.4
Hardware: Macintosh Mac OS
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2011-09-13 15:27 CEST by Patricia Bouyer-Decitre
Modified: 2011-09-13 15:27 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.