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

Bug 65

Summary:	Handling of committed locations with broadcast synchronisation is broken
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	critical
Priority:	P2
Version:	3.4.1
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case

Description Gerd Behrmann 2003-10-09 10:51:34 CEST

In the attached system, the model can deadlock in P.bad, which is wrong.

Comment 1 Gerd Behrmann 2003-10-09 10:52:17 CEST

Created attachment 10 [details]
Test case

Comment 2 Gerd Behrmann 2003-10-09 14:04:10 CEST

A fix has been checked into CVS.