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

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.