Summary: | Saving empty traces throws an exception | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
Status: | RESOLVED FIXED | ||
Severity: | minor | CC: | saulius |
Priority: | P2 | ||
Version: | 3.6 Alpha 5 | ||
Hardware: | All | ||
OS: | All | ||
Architecture: |
Description
Gerd Behrmann
2006-03-19 10:38:07 CET
Resolved on the trunk from rev. 1672. |