[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Question about TLC


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?


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.