Summary: | Assign a Clock Value to An Integer | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Bora KARTAL <e129248> |
Component: | GUI | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED WONTFIX | ||
Severity: | critical | CC: | marius |
Priority: | P2 | ||
Version: | 4.1.3 | ||
Hardware: | PC | ||
OS: | Windows NT | ||
Architecture: |
Description
Bora KARTAL
2011-08-01 22:04:15 CEST
Arbitrary math expressions over clocks are not allowed in timed automata. |