Summary: | Relax restriction: clock guards are not allowed on broadcast receivers | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Timothy Bourke <tbourke> |
Component: | Engine | Assignee: | Alexandre David <adavid> |
Status: | ASSIGNED --- | ||
Severity: | enhancement | ||
Priority: | P2 | ||
Version: | 4.0.6 | ||
Hardware: | All | ||
OS: | All | ||
URL: | http://tech.groups.yahoo.com/group/uppaal/message/1401?var=0&l=1 | ||
Architecture: |
Description
Timothy Bourke
2008-01-31 05:48:54 CET
|