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

Bug 267

Summary:	Verifier does not terminate
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	critical
Priority:	P1
Version:	3.6 Alpha 4
Hardware:	All
OS:	Windows 2000
Architecture:

Description Gerd Behrmann 2006-02-13 17:27:34 CET

On some models, the verifier does not terminate in windows. verifyta either keeps running (progress 
messages are updated) or hangs (progress message is not updated).

The models bug114, patricia and test from the regression test suite trigger this behaviour. This behaviour 
has not been observed under Linux.

Comment 1 Gerd Behrmann 2006-02-13 21:48:55 CET

At least for the file bug114.xta, I have now tracked this regression to the checkin at revision 1288. This 
change fixed some bugs in compressed int storage; but it seems the fix also introduced some new 
problems. I noticed that all the three models I mentioned above only have on process. This fits well with a 
theory, that the problem was introduced by the aforementioned change. The change was made by 
Alexandre; I reassign the bug to him.

Comment 2 Gerd Behrmann 2006-02-14 15:07:04 CET

For reference, the changee in question was introduced to fix bug 223.