[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Distributed TLC: Failed to checkpoint the fingerprint server
On 09.12.2015 10:12, Jaak Ristioja wrote:
> I stopped TLC from the toolbox and hit CTRL+C for the servers. I hope
> that doesn't invalidate the model checking results?
it does not invalidate the result up to the point when TLC crashed.
> Is there a way to make TLC use some other directory instead of /tmp ?
You can pass
as a VM argument to the fingerprint set(s).