| Summary: | GUI aborts verification if no swap available | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Arild Martin Møller Haugstad <arild> |
| Component: | GUI | Assignee: | Alexandre David <adavid> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | P2 | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
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.