| Summary: | gmp: overflow in mpz type | ||
|---|---|---|---|
| Product: | UPPAAL Stratego | Reporter: | Marius Mikučionis <marius> |
| Component: | Engine | Assignee: | Marius Mikučionis <marius> |
| Status: | RESOLVED FIXED | ||
| Severity: | critical | ||
| Priority: | P5 | ||
| Version: | 4.1.20-4 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | crashing model | ||
Stratego-6 does not have this issue anymore. |
Created attachment 310 [details] crashing model The following synthesis query crashes the server: strategy Opt = minE (b) [<=1] : <> Proc.END || y>=1 the model is attached