From 0218d3f8edd60013c925937a28122de0b719a899 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Fri, 15 Mar 2024 12:40:57 -0700
Subject: [PATCH] Disable removal of storage markers

---
 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 fc41bac69d9c..4e8086e7e37b 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",
-                "sanitizer=address",
+                "mir-enable-passes=-RemoveStorageMarkers",
             ]
             .map(OsString::from),
         );