Summary: | Local function calls from properties are not allowed | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
Component: | libutap | Assignee: | Gerd Behrmann <behrmann> |
Status: | RESOLVED FIXED | ||
Severity: | enhancement | ||
Priority: | P2 | ||
Version: | 3.5.9 | ||
Hardware: | All | ||
OS: | All | ||
Architecture: |
Description
Gerd Behrmann
2005-08-19 22:08:16 CEST
A fix has been committed to CVS. |