|Launch tlapm with the option `--debug tempfiles' (when you use the Toolbox, use C-G C-P to bring up the PM dialog and enter that option in the line at the bottom). You will probably also want to disable the use of fingerprints for the selected proof obligation. This will leave files with names such as tlapm_XXX.smt in the MMM.tlaps directory (where MMM is the name of the module).|
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 on the web visit https://groups.google.com/d/msgid/tlaplus/A77BF16D-579C-484C-B45A-B97BBF630E4C%40gmail.com.