|Summary:||Verifier does not terminate|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Alexandre David <adavid>|
|Version:||3.6 Alpha 4|
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.