| Summary: | Incorrect evaluation of array parameters | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
| Component: | Engine | Assignee: | Gerd Behrmann <behrmann> |
| Status: | RESOLVED FIXED | ||
| Severity: | major | CC: | Franck.Cassez |
| Priority: | P1 | ||
| Version: | 3.6 Alpha 1 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | Test case. | ||
Created attachment 74 [details]
Test case.
A fix is in CVS. |
I got the following report from Franck Cassez: I noticed a strange behavior in the UPPAAL alpha release (which is good because it is an alpha release ...) Attached is the file I used. I used the MacOSX versions of UPPAAL, 3.4.11 and 3.6 alpha. The problem: 1) the guard in automaton node1 is a bool array to1[i] This array is initialized in the decls to {0,0,0,1} 2) in 3.4.11, it is evaluated correctly (in the simulator); in the alpha release, the evaluation for i=0 seems to give "true" for to1[0] (in the simulator), but ... to1[0]=0 In the end, the simulation is different in the two versions. And I think 3.4.11 is the correct :-)