Sui move prove hangs

[shiqicao]

After I installed bookie, sui move prove hangs, any idea?

[shb]

Would you mind sharing the code you are running sui move prove on?

[shiqicao]

I can’t share the move code publicly, I sent you an invitation of my private repro on github.

[awelc]

I wish I had better news, but currently support for the Move Prover in Sui is incomplete - use at your own risk…