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

Bug 478 - GUI aborts verification if no swap available
Summary: GUI aborts verification if no swap available
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2009-08-25 13:49 CEST by Arild Martin Møller Haugstad
Modified: 2009-08-25 14:56 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 Arild Martin Møller Haugstad 2009-08-25 13:49:40 CEST 
The "progress" window in the GUI closes with an error, and verification is aborted, if the server finds no swap memory.

To reproduce under Linux:
Turn swap off with "swapoff -a", then try to verify any property.
The GUI gives a "division by 0" error.
When swap is turned on again ("swapon -a"), verification works as usual.