[tlaplus] Question about TLC

[Aman Shaikh <amanshaikh75@xxxxxxxxx>]

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

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f9adc80e-55ee-49c8-9683-ed9a72514372n%40googlegroups.com.