turn off spec check

aptos-labs · Jan 16, 2025 · 2c31d8d · 2c31d8d
1 parent 4371e70
commit 2c31d8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/third_party/move/move-compiler-v2/src/experiments.rs b/third_party/move/move-compiler-v2/src/experiments.rs
@@ -104,7 +104,7 @@ pub static EXPERIMENTS: Lazy<BTreeMap<String, Experiment>> = Lazy::new(|| {
         Experiment {
             name: Experiment::SPEC_CHECK.to_string(),
             description: "Turns on or off specification checks".to_string(),
-            default: Inherited(Experiment::CHECKS.to_string()),
+            default: Given(false),
         },
         Experiment {
             name: Experiment::SPEC_REWRITE.to_string(),