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.
Created attachment 52 [details]
Model illustrating the problem
Confirmed. Seems to be introduced by the fix for bug 170.
A fix is in CVS now.
A minor remark: The CVS changelog for 3.4 contains a reference to bug 178. This should have been a
reference to bug 177.
This bug reappeared in 3.6 alpha 3.
Fixed on the trunk (rev. 1457).