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

Bug 252

Summary:	Server crash with broadcast channels
Product:	UPPAAL	Reporter:	Alexandre David <adavid>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	3.6 Alpha 4
Hardware:	All
OS:	All
Architecture:
Attachments:	Example with broadcast channels

Description Alexandre David 2006-01-30 20:02:04 CET

The server apparently crashes on this very simple model that has no invariant,
no guard, but only broadcast channels.

Comment 1 Alexandre David 2006-01-30 20:03:01 CET

Created attachment 84 [details]
Example with broadcast channels

Comment 2 Gerd Behrmann 2006-01-31 14:09:02 CET

This is essentially the same problem as bug 178. Turns out that the fix was not quite enough. It is fixed 
on the trunk (rev. 1480).