From 0d56bdd51f66f312791d33561ee815b51898313a Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Thu, 22 Aug 2024 14:02:57 +0000
Subject: [PATCH] Remove `coverage_args` module

---
 kani-driver/src/args/coverage_args.rs | 17 -----------------
 kani-driver/src/args/mod.rs           |  1 -
 2 files changed, 18 deletions(-)
 delete mode 100644 kani-driver/src/args/coverage_args.rs

diff --git a/kani-driver/src/args/coverage_args.rs b/kani-driver/src/args/coverage_args.rs
deleted file mode 100644
index 31827d88f0e8..000000000000
--- a/kani-driver/src/args/coverage_args.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// Copyright Kani Contributors
-// SPDX-License-Identifier: Apache-2.0 OR MIT
-use crate::args::CommonArgs;
-use clap::Parser;
-
-#[derive(Debug, Parser)]
-pub struct CargoCoverageArgs {
-    #[command(flatten)]
-    pub coverage: CoverageArgs,
-}
-
-#[derive(Debug, clap::Args)]
-pub struct CoverageArgs {
-    /// Common args always available to Kani subcommands.
-    #[command(flatten)]
-    pub common_opts: CommonArgs,
-}
diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
index b933c555b391..c3cfc113af64 100644
--- a/kani-driver/src/args/mod.rs
+++ b/kani-driver/src/args/mod.rs
@@ -5,7 +5,6 @@
 pub mod assess_args;
 pub mod cargo;
 pub mod common;
-pub mod coverage_args;
 pub mod playback_args;
 pub mod std_args;