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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	critical
Priority:	P3
Version:	3.5.8
Hardware:	All
OS:	All
Architecture:
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).