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");
         }