search

move-language / move

Apache License 2.0
2.25k stars 679 forks source link

[Move prover] Add a boogie implementation for borrow_mut_with_default in the table module #1005

Closed rahxephon89 closed 1 year ago

rahxephon89 commented 1 year ago

Motivation

This PR adds a boogie implementation for borrow_mut_with_default defined in the table module.

Have you read the Contributing Guidelines on pull requests?

Yes

Test Plan

Add a new test case in verify_custom_table.move.