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

Bug 481

Summary: Protocol error
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: GUIAssignee: Alexandre David <adavid>
Status: RESOLVED FIXED    
Severity: critical    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:

Description Alexandre David 2009-09-21 17:27:46 CEST
The following model causes a protocol error in 4.0.9. 4.0.8 and 4.1.2 are not affected.
Comment 1 Alexandre David 2009-09-21 17:37:06 CEST
The model is not publicly available.
The bug was fixed in rev. 4417.