search

move-language / move

Apache License 2.0
2.25k stars 683 forks source link

[Cherry-pick][Move-prover] Bug fix & add new specs to the prover test #908

Closed rahxephon89 closed 1 year ago

rahxephon89 commented 1 year ago

Motivation

Cherry-pick #905 onto main