[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] How to debug TLAPM

Good day,

I have encountered a TLAPM bug (crash) and filled an issue for it:

I would like to debug the situation and hopefully submit a pull
request with a fix. Is there a common workflow on how to perform such
a debugging? Should I build & install tlapm for each iteration and use
it from the toolbox, or is there simpler ways to do that?


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/CAFteovJ9M26qebZzs7_MDJNAh0oUhTPk9Pxbg-0St4_J61VKAQ%40mail.gmail.com.