First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 465
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Alexandre David <adavid@cs.aau.dk>
Add CC:
CC:
URL:
Summary:

Attachment Type Creator Created Size Actions
Model file text/xml Alexandre David 2009-03-18 18:00 1.36 KB Details
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 465 depends on: Show dependency tree
Show dependency graph
Bug 465 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug


Description:   Opened: 2009-03-18 17:59
The following system makes the compiler crash. This affects all versions of
UPPAAL.

------- Comment #1 From Alexandre David 2009-03-18 18:00:31 -------
Created an attachment (id=213) [details]
Model file

------- Comment #2 From Alexandre David 2009-03-18 18:18:40 -------
Fixed in rev. 4267 (trunk) & 4268 (4.0).

First Last Prev Next    No search results available      Search page      Enter new bug