Disable MIR optimization in tests

viperproject · Mar 6, 2024 · a167674 · a167674
1 parent daf0e86
commit a167674
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/prusti-tests/tests/compiletest.rs b/prusti-tests/tests/compiletest.rs
@@ -83,7 +83,11 @@ fn run_prusti_tests(group_name: &str, filter: &Option<String>, rustc_flags: Opti
     }
 
     // Add compilation flags
-    config.target_rustcflags = Some(format!("--edition=2018 {}", rustc_flags.unwrap_or("")));
+    // mir-opt-level=0 disabled MIR optimizations (e.g., const propagation) that might hide bugs.
+    config.target_rustcflags = Some(format!(
+        "--edition=2018 -Z mir-opt-level=0 {}",
+        rustc_flags.unwrap_or("")
+    ));
 
     let path: PathBuf = ["tests", group_name, "ui"].iter().collect();
     if path.exists() {