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

Re: [tlaplus] How to debug TLAPM

On 06.07.20 05:48, Karolis Petrauskas wrote:
> Good day,
> I have encountered a TLAPM bug (crash) and filled an issue for it:
> https://github.com/tlaplus/tlapm/issues/8
> 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?
> Karolis

This is what worked for me: https://asciinema.org/a/307459


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/20c2d863-db85-0093-10ee-40bd9acda124%40lemmster.de.