This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 465

Summary: Compiler crashes
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: EngineAssignee: Alexandre David <adavid>
Status: RESOLVED FIXED    
Severity: critical    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Model file

Description Alexandre David 2009-03-18 17:59:58 CET
The following system makes the compiler crash. This affects all versions of UPPAAL.
Comment 1 Alexandre David 2009-03-18 18:00:31 CET
Created attachment 213 [details]
Model file
Comment 2 Alexandre David 2009-03-18 18:18:40 CET
Fixed in rev. 4267 (trunk) & 4268 (4.0).