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

Bug 547 - Null pointer exception
Summary: Null pointer exception
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.13
Hardware: Macintosh Mac OS
: P5 blocker
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2013-02-25 15:11 CET by Jakob Haahr Taankvist
Modified: 2013-02-25 15:12 CET (History)
1 user (show)

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 Jakob Haahr Taankvist 2013-02-25 15:11:36 CET 
On mac OS X 10.8.2:

Open the GUI,
Draw one place,
Go to the simulator,
Accept to upload the model to the server,
Go back to the editor,
A NullPointerException is now thrown and the GUI is from then unusable.

This is both a problem in the 32bit and the 64bit version (run on a 64bit system)

We also tested this on Linux Debian, where it does not seem to be a problem.