[tlaplus] How can I avoid dumping *.tlc files

[Chris Ortiz <zitroomega@xxxxxxxxx>]

Hello,

How can I avoid having the default *.tlc dump into my working directory? 

My TLC option is:

-coverage 1 -dumpTrace json trace.json -dump dot,colorize,actionlabels ${modelName}.dot -cleanup -teSpecOutDir states

I already have an explicit -dumpTrace but it still dump the default *.tlc file which just keep on accumulating on my working directory.

Thanks,

Chris (zitro)

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/f2d144b7-4694-4ec2-8f33-2b0e8760f820n%40googlegroups.com.