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

[tlaplus] Is it possible to disable state dump?

Hi, everyone.
I am running  tlc2.TLC in command line, on a 64-core Linux VM.
My tla file has many states, and I find that, during running, the states are dumped to my disk and soon occupied all the disk space. Since I only care about the final checking result. Is there any way (in command line) to disable states dump?

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/BYAPR02MB4613123E8476A9FD1A1D01B9D43A9%40BYAPR02MB4613.namprd02.prod.outlook.com.