[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.