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

Bug 327

Summary:	Deadlock checker is broken for models with priorities
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P2
Version:	3.6 Beta 3
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case Query file

Description Gerd Behrmann 2006-05-22 20:27:27 CEST

The deadlock checker is broken for models with priorties: In the attached model, the result of the verification is wrong (there is a deadlock, but UPPAAL does not find it).

Comment 1 Gerd Behrmann 2006-05-22 20:27:45 CEST

Created attachment 103 [details]
Test case

Comment 2 Gerd Behrmann 2006-05-22 20:28:00 CEST

Created attachment 104 [details]
Query file

Comment 3 Gerd Behrmann 2006-05-22 20:28:18 CEST

Fixed on the trunk from rev. 1833.