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

Bug 178

Summary: Synchronising on broadcast channel blocks
Product: UPPAAL Reporter: René Gøttler <reneg>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: critical    
Priority: P3    
Version: 3.5.8   
Hardware: All   
OS: All   
Attachments: Model illustrating the problem

Description René Gøttler 2005-08-03 11:28:50 CEST
Sending on a broadcast channel blocks a template if no enabled transitions can 
receive on that channel. This behaviour is in violation to the semantics the 
channel type as specified in the help file. Previous versions of verifyta 
(confirmed on ver. 3.5.7, WindowsXP) does not experience this.
Comment 1 René Gøttler 2005-08-03 11:29:55 CEST
Created attachment 52 [details]
Model illustrating the problem
Comment 2 Gerd Behrmann 2005-08-04 13:49:47 CEST
Confirmed. Seems to be introduced by the fix for bug 170.
Comment 3 Gerd Behrmann 2005-08-05 20:25:24 CEST
A fix is in CVS now.
Comment 4 Gerd Behrmann 2005-08-05 20:54:39 CEST
A minor remark: The CVS changelog for 3.4 contains a reference to bug 178. This should have been a 
reference to bug 177.
Comment 5 Gerd Behrmann 2006-01-17 16:38:50 CET
This bug reappeared in 3.6 alpha 3.
Comment 6 Gerd Behrmann 2006-01-17 16:39:29 CET
Fixed on the trunk (rev. 1457).