From 9aa7e9005c726ade20bb0f00f58d940d7550a0f1 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Fri, 15 Mar 2024 11:58:00 -0700
Subject: [PATCH] Revert change to use sanitizer to apply in a separate PR

---
 kani-driver/src/call_single_file.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kani-driver/src/call_single_file.rs b/kani-driver/src/call_single_file.rs
index 4e8086e7e37b..fc41bac69d9c 100644
--- 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),
         );