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.
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.
For reference, the changee in question was introduced to fix bug 223.