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

Re: [tlaplus] Is it possible to disable state dump?

On 04.06.21 23:40, Jinkun Geng wrote:
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?


these files are part of the queue of *unexplored* states and not a dump of explored states. In other words, this is an artifact of state-space explosion. Run TLC with the "-gzip" parameter to compress the files if you run short on disc space.


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/6aec965d-e297-dd12-bc8f-272c274cda9a%40lemmster.de.