add option

aptos-labs · Oct 8, 2024 · e3518f7 · e3518f7
1 parent 8bb94b7
commit e3518f7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/third_party/move/tools/move-package/src/compilation/model_builder.rs b/third_party/move/tools/move-package/src/compilation/model_builder.rs
@@ -146,6 +146,7 @@ impl ModelBuilder {
                 options.compiler_version = Some(self.model_config.compiler_version);
                 options.known_attributes.clone_from(known_attributes);
                 options.skip_attribute_checks = skip_attribute_checks;
+                options.compile_verify_code = true;
                 let mut error_writer = StandardStream::stderr(ColorChoice::Auto);
                 move_compiler_v2::run_move_compiler_for_analysis(&mut error_writer, options)
             },