[fix] Fix module validation and traversal for verified module loading

aptos-labs · Oct 14, 2024 · a77e285 · a77e285
1 parent d0e08f9
commit a77e285
Show file tree

Hide file tree

Showing 24 changed files with 1,191 additions and 457 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/aptos-move/block-executor/Cargo.toml b/aptos-move/block-executor/Cargo.toml
@@ -50,6 +50,7 @@ scopeguard = { workspace = true }
 
 [dev-dependencies]
 aptos-aggregator = { workspace = true, features = ["testing"] }
+aptos-types = { workspace = true, features = ["testing"] }
 criterion = { workspace = true }
 fail = { workspace = true, features = ["failpoints"] }
 itertools = { workspace = true }

diff --git a/aptos-move/block-executor/src/captured_reads.rs b/aptos-move/block-executor/src/captured_reads.rs