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

Bug 478

Summary: GUI aborts verification if no swap available
Product: UPPAAL Reporter: Arild Martin Møller Haugstad <arild>
Component: GUIAssignee: Alexandre David <adavid>
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Linux   

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.