Hi
I have a question about TLC. I've been gradually increasing the size of the models I check with TLC for a specification. In my spec, I've been printing some information for every action. Once my model has reached certain size, TLC stops printing this per-action information and resorts to periodic messages of this form:
Progress: 439 states checked.
Is there a way around this?
thx
aman