From e3518f75a479c6bd778f22a8b853e7dc2f621cec Mon Sep 17 00:00:00 2001 From: Teng Zhang Date: Tue, 8 Oct 2024 15:30:33 -0700 Subject: [PATCH] add option --- .../move/tools/move-package/src/compilation/model_builder.rs | 1 + 1 file changed, 1 insertion(+) 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 index e7b47a4654e7c..1a78e1e3e036c 100644 --- 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) },