Apply suggestions from code review

Co-authored-by: Zyad Hassan <[email protected]>
model-checking · Oct 12, 2024 · c69f26a · c69f26a
1 parent 32e3c0f
commit c69f26a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/kani-driver/src/args/cargo.rs b/kani-driver/src/args/cargo.rs
@@ -33,7 +33,7 @@ pub struct CargoCommonArgs {
     #[arg(long)]
     pub workspace: bool,
 
-    /// Run Kani on the specified packages  (see `cargo help pkgid` for accepted format)
+    /// Run Kani on the specified packages (see `cargo help pkgid` for the accepted format)
     #[arg(long, short, conflicts_with("workspace"), num_args(1..))]
     pub package: Vec<String>,
 

diff --git a/kani-driver/src/call_cargo.rs b/kani-driver/src/call_cargo.rs
@@ -368,7 +368,7 @@ impl KaniSession {
 
     /// Extract the packages that should be verified.
     ///
-    /// The result is build following these rules:
+    /// The result is built following these rules:
     /// - If `--package <pkg>` is given, return the list of packages selected.
     /// - If `--exclude <pkg>` is given, return the list of packages not excluded.
     /// - If `--workspace` is given, return the list of workspace members.
@@ -401,7 +401,7 @@ impl KaniSession {
                     .filter_map(|pkg| pkg_ids.get(&pkg.id).copied())
                     .collect();
                 bail!(
-                    "The following packages specified do not belong to this workspace: `{}`",
+                    "The following specified packages were not found in this workspace: `{}`",
                     outer.join("`,")
                 );
             }