Summary: | Compiler crashes | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Alexandre David <adavid> |
Component: | Engine | Assignee: | Alexandre David <adavid> |
Status: | RESOLVED FIXED | ||
Severity: | critical | ||
Priority: | P2 | ||
Version: | unspecified | ||
Hardware: | PC | ||
OS: | Linux | ||
Architecture: | |||
Attachments: | Model file |
Description
Alexandre David
2009-03-18 17:59:58 CET
Created attachment 213 [details]
Model file
Fixed in rev. 4267 (trunk) & 4268 (4.0). |