search

tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
59 stars 19 forks source link

Is there a way to designate the output directory for the fingerprint files? #74

Closed ahelwer closed 1 year ago

ahelwer commented 1 year ago

I am wondering whether it would be a good idea to cache the fingerprint files in the examples repo between CI runs to speed up validation for proofs that have already been proved. Is there a command line parameter to tlapm designating a specific directory to output them to, or is this unchanging?

ahelwer commented 1 year ago

They are output to the .tlacache directory in the latest release.