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

Bug 252 - Server crash with broadcast channels
Summary: Server crash with broadcast channels
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.6 Alpha 4
Hardware: All All
: P1 major
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-01-30 20:02 CET by Alexandre David
Modified: 2006-01-31 14:09 CET (History)
0 users

See Also:

Example with broadcast channels (2.19 KB, text/plain)
2006-01-30 20:03 CET, Alexandre David

Note You need to log in before you can comment on or make changes to this bug.
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).