Add instructions to debug tlapm

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

67 stars 20 forks source link

Open lemmy opened 4 years ago

lemmy commented 4 years ago

https://asciinema.org/a/307459 and https://www.youtube.com/watch?v=Eu46FmhpR_0&feature=youtu.be are recordings of how to debug tlapm with ocamldebug and inside VSCode (on Linux). Do you want me to add a section to INSTALL that references/mirrors the recordings?

ahelwer commented 3 days ago

I put a bunch of effort into trying to set this up a few months ago and was met with failure unfortunately: https://github.com/tlaplus/tlapm/discussions/143