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

Bug 328

Summary: Reuse of state space is incorrect for models with priorities
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 4.0.0   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-05-29 19:43:07 CEST
For models with priorities, the "reuse state space" (-T in verifyta) is not correct. The current implementation will be an over approximation of the state space.

As a work arround, turn of reuse of the state space.
Comment 1 Gerd Behrmann 2006-06-13 09:39:30 CEST
Fixed on the trunk from rev. 1910.