fix Clippy warnings

model-checking · Mar 5, 2024 · 7d5a400 · 7d5a400
1 parent 192c4a9
commit 7d5a400
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/kani-driver/src/call_cargo.rs b/kani-driver/src/call_cargo.rs
@@ -5,7 +5,7 @@ use crate::args::VerificationArgs;
 use crate::call_single_file::to_rustc_arg;
 use crate::project::Artifact;
 use crate::session::KaniSession;
-use crate::{session, util};
+use crate::{util};
 use anyhow::{bail, Context, Result};
 use cargo_metadata::diagnostic::{Diagnostic, DiagnosticLevel};
 use cargo_metadata::{Message, Metadata, MetadataCommand, Package, Target};

diff --git a/kani-driver/src/concrete_playback/playback.rs b/kani-driver/src/concrete_playback/playback.rs
@@ -106,8 +106,8 @@ fn cargo_test(install: &InstallType, args: CargoPlaybackArgs) -> Result<()> {
  }
  InstallType::Release(kani_dir) => {
  let cargo_path = kani_dir.join("toolchain").join("bin").join("cargo");
- let cmd = Command::new(cargo_path);
- cmd
+
+ Command::new(cargo_path)
  }
  };
 

diff --git a/kani-driver/src/session.rs b/kani-driver/src/session.rs
@@ -81,8 +81,8 @@ impl KaniSession {
  }
  InstallType::Release(kani_dir) => {
  let cargo_path = kani_dir.join("toolchain").join("bin").join("cargo");
- let cmd = Command::new(cargo_path);
- cmd
+
+ Command::new(cargo_path)
  }
  };
 

diff --git a/src/lib.rs b/src/lib.rs
@@ -93,17 +93,17 @@ fn parse_args(args: Vec<OsString>) -> ArgsResult {
  let use_local_toolchain = matches.value_of_os("use-local-toolchain").map(OsString::from);
  let use_local_bundle = matches.value_of_os("use-local-bundle").map(OsString::from);
  ArgsResult::ExplicitSetup {
- use_local_bundle: use_local_bundle,
- use_local_toolchain: use_local_toolchain,
+ use_local_bundle ,
+ use_local_toolchain,
  }
  } else if let Some(matches) = matches.subcommand_matches("kani") {
  if let Some(matches) = matches.subcommand_matches("setup") {
  let use_local_toolchain =
  matches.value_of_os("use-local-toolchain").map(OsString::from);
  let use_local_bundle = matches.value_of_os("use-local-bundle").map(OsString::from);
  ArgsResult::ExplicitSetup {
- use_local_bundle: use_local_bundle,
- use_local_toolchain: use_local_toolchain,
+ use_local_bundle,
+ use_local_toolchain,
  }
  } else {
  ArgsResult::Default