Re: [tlaplus] Distributed TLC: Failed to checkpoint the fingerprint server

[Markus Kuppe <tlapl...@xxxxxxxxxxx>]

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
"-Dtlc2.tool.fp.DiskFPSet.metadirPrefix=/absolute/path/to/alternate/location/"
as a VM argument to the fingerprint set(s).

Markus