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
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Assignee: Alexandre David
Depends on:
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:


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.