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

Hi Jaak,

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