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

Bug 65

Summary: Handling of committed locations with broadcast synchronisation is broken
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: critical    
Priority: P2    
Version: 3.4.1   
Hardware: All   
OS: All   
Architecture:
Attachments: Test case

Description Gerd Behrmann 2003-10-09 10:51:34 CEST
In the attached system, the model can deadlock in P.bad, which is wrong.
Comment 1 Gerd Behrmann 2003-10-09 10:52:17 CEST
Created attachment 10 [details]
Test case
Comment 2 Gerd Behrmann 2003-10-09 14:04:10 CEST
A fix has been checked into CVS.