Closed clarus closed 3 months ago
Write a simulation for the:
borrow_field
borrow_loc
borrow_global
functions in https://github.com/move-language/move-sui/blob/main/crates/move-bytecode-verifier/src/type_safety.rs
Done in #578 .
InfiniteEchoes
commented
3 months ago InfiniteEchoes
commented
3 months ago
Write a simulation for the:
borrow_fieldborrow_locborrow_globalfunctions in https://github.com/move-language/move-sui/blob/main/crates/move-bytecode-verifier/src/type_safety.rs