Revert change to use sanitizer to apply in a separate PR

model-checking · Mar 15, 2024 · 9aa7e90 · 9aa7e90
1 parent 02cb8ca
commit 9aa7e90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/call_single_file.rs b/kani-driver/src/call_single_file.rs
@@ -123,7 +123,7 @@ impl KaniSession {
                 "-Z",
                 "panic_abort_tests=yes",
                 "-Z",
-                "mir-enable-passes=-RemoveStorageMarkers",
+                "sanitizer=address",
             ]
             .map(OsString::from),
         );