| Summary: | false error index out of range for channel array on disabled transition | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
| Component: | Engine | Assignee: | Alexandre David <adavid> |
| Status: | RESOLVED FIXED | ||
| Severity: | minor | CC: | tbourke |
| Priority: | P2 | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: |
model to trigger the error
sample query to start verification |
||
|
Description
Marius Mikučionis
2008-04-01 15:07:03 CEST
Created attachment 203 [details]
model to trigger the error
Created attachment 204 [details]
sample query to start verification
It appears that UPPAAL looks at synchronization first, before evaluating the guards. I produced a fix on a trunk (rev.3441) to evaluate the integer guards before any synchronization expression is touched. Regression passed, hopefully nothing is broken. |