Question about TLC

瀏覽次數：26 次
跳到第一則未讀訊息

Aman Shaikh

未讀,
2023年3月6日 凌晨1:13:562023/3/6
收件者：tlaplus
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
回覆所有人
回覆作者
轉寄
0 則新訊息