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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	4.0.0
Hardware:	All
OS:	All
Architecture:

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.