tweak message about skipped functions

model-checking · Mar 5, 2025 · b2a5d67 · b2a5d67
1 parent 6997afb
commit b2a5d67
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/kani-driver/src/autoharness/mod.rs b/kani-driver/src/autoharness/mod.rs
@@ -75,7 +75,7 @@ fn print_skipped_fns(metadata: Vec<KaniMetadata>) {
 
     if skipped_fns.is_empty() {
         println!(
-            "\nSkipped Functions: None. Kani generated automatic harnesses for all functions in the package."
+            "\nSkipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s)."
         );
         return;
     }

diff --git a/tests/script-based-pre/cargo_autoharness_contracts/contracts.expected b/tests/script-based-pre/cargo_autoharness_contracts/contracts.expected
@@ -41,4 +41,4 @@ Note that `kani autoharness` sets default --harness-timeout of 30s and --default
 If verification failed because of timing out or too low of an unwinding bound, try passing larger values for these arguments (or, if possible, writing a loop contract).
 Complete - 4 successfully verified functions, 1 failures, 5 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).
diff --git a/tests/script-based-pre/cargo_autoharness_dependencies/dependencies.expected b/tests/script-based-pre/cargo_autoharness_dependencies/dependencies.expected
@@ -11,4 +11,4 @@ Autoharness Summary:
 +-------------------+---------------------------+---------------------+
 Complete - 1 successfully verified functions, 0 failures, 1 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).
diff --git a/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected b/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected
@@ -73,4 +73,4 @@ Note that `kani autoharness` sets default --harness-timeout of 30s and --default
 If verification failed because of timing out or too low of an unwinding bound, try passing larger values for these arguments (or, if possible, writing a loop contract).
 Complete - 0 successfully verified functions, 5 failures, 5 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).
diff --git a/tests/script-based-pre/cargo_autoharness_termination/termination.expected b/tests/script-based-pre/cargo_autoharness_termination/termination.expected
@@ -39,4 +39,4 @@ Note that `kani autoharness` sets default --harness-timeout of 30s and --default
 If verification failed because of timing out or too low of an unwinding bound, try passing larger values for these arguments (or, if possible, writing a loop contract).
 Complete - 0 successfully verified functions, 3 failures, 3 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).