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: EngineAssignee: 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.