Remove coverage_args module

adpaco-aws · Aug 22, 2024 · 0d56bdd · 0d56bdd
1 parent a7ea4ee
commit 0d56bdd
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 18 deletions.
diff --git a/kani-driver/src/args/coverage_args.rs b/kani-driver/src/args/coverage_args.rs
diff --git 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;