problem in verifying liveness properties

[Amira Methni <methni...@xxxxxxxxx>]

Hi, 

I have a model and I tried to verify a set of liveness properties on it (I'm using the TLA toolbox on Ubuntu 12.04 (x86_64bits).
The problem is that TLC displays the status "Finishing computing initial states". And it does not progress (a screenshot is attached), knowing that when I verify invariants, TLC works correctly. 

Is it normal? 

Thank you, 
Amira 

Attachment: Capture du 2015-12-16 13:19:47.png
Description: PNG image