From 5a574f7e3758d49ee79747a7e1ff56568fa944f1 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Tue, 20 Aug 2024 19:11:28 +0000
Subject: [PATCH] Undo change in `compiletest` to run with coverage

---
 tools/compiletest/src/runtest.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/compiletest/src/runtest.rs b/tools/compiletest/src/runtest.rs
index 60e0b715a98d..c8387c691296 100644
--- a/tools/compiletest/src/runtest.rs
+++ b/tools/compiletest/src/runtest.rs
@@ -272,9 +272,7 @@ impl<'test> TestCx<'test> {
             .arg("kani")
             .arg("--target-dir")
             .arg(self.output_base_dir().join("target"))
-            .current_dir(parent_dir)
-            .arg("--coverage")
-            .arg("-Zsource-coverage");
+            .current_dir(parent_dir);
         if test {
             cargo.arg("--tests");
         }