Adam Welc

Closing. Please reopen if need be.

> Hi, I'm very interested in this work - integrating move prover into sui. Is there anything I can do to help you? First of, we love the enthusiasm! Our...

> But I think it happens whenever I write a new line of code in the middle of a function or module, and it necessitates a comma but it crashes...

> Created a basic repo with an example and more details. https://github.com/thounyy/moveanalyzer-crash Thank you! Will get on it shortly!

It has taken me longer that I expected but I am on it. I looked at the repository with repro instructions and I still don't know how to trigger it....

> sorry for the late answer. the issue is that it is on any project simple or complex and occurs rapidly at any time when writing any new line of...

> I don't know if it can help Thank you! It certainly helps as it gives me an idea on what part of the implementation to look at. It's a...

> I don't know if it was expected but by modifying the line 28 like you proposed then rebuilding and installing move-analyzer from the modified repo I don't get the...

> I moved them outside the else and it shows This unfortunately does not help any further... The motivation behind the change I proposed was to capture error-related information right...

> Yes, it's a big PR, we considered splitting it before submitting it but not succeeded. We'd like to try to split it again, and fixing the format issues, and...