Undo change in compiletest to run with coverage

adpaco-aws · Aug 20, 2024 · 5a574f7 · 5a574f7
1 parent a79c9d6
commit 5a574f7
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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");
         }