[prover] repro test for borrow analysis bug #284_157

diem / move

Home of the Move programming language

Apache License 2.0

346 stars 131 forks source link

Closed satyamacn closed 1 year ago

satyamacn commented 1 year ago

This PR adds to prover test crate a test that reproduces the bug.

sahithiacn commented 1 year ago

/canary

bors-diem commented 1 year ago

:sunny: Canary successful

sahithiacn commented 1 year ago

/land