fix formatting check

carolynzech · carolynzech · commit 8b85bee2ea1c · 2025-02-04T13:40:04.000-05:00
diff --git a/kani-compiler/src/kani_middle/codegen_units.rs b/kani-compiler/src/kani_middle/codegen_units.rs
@@ -104,8 +104,8 @@ impl CodegenUnits {
                 // and these harnesses have no stubs.
                 units.extend(
                     automatic_harnesses
-                        .iter()
-                        .map(|(harness, _)| CodegenUnit {
+                        .keys()
+                        .map(|harness| CodegenUnit {
                             harnesses: vec![*harness],
                             stubs: HashMap::default(),
                         })
diff --git a/kani-driver/src/args/autoverify_args.rs b/kani-driver/src/args/autoverify_args.rs
@@ -71,7 +71,7 @@ impl ValidateArgs for CargoAutoverifyArgs {
                 ErrorKind::MissingRequiredArgument,
                 format!(
                     "The `autoverify` subcommand is unstable and requires -Z {}",
-                    UnstableFeature::UnstableOptions.to_string()
+                    UnstableFeature::UnstableOptions
                 ),
             ));
         }
@@ -105,7 +105,7 @@ impl ValidateArgs for StandaloneAutoverifyArgs {
                 ErrorKind::MissingRequiredArgument,
                 format!(
                     "The `autoverify` subcommand is unstable and requires -Z {}",
-                    UnstableFeature::UnstableOptions.to_string()
+                    UnstableFeature::UnstableOptions
                 ),
             ));
         }
diff --git a/tests/script-based-pre/cargo_autoverify_contracts/Cargo.toml b/tests/script-based-pre/cargo_autoverify_contracts/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "cargo_autoverify_contracts"
 version = "0.1.0"
diff --git a/tests/script-based-pre/cargo_autoverify_exclude/Cargo.toml b/tests/script-based-pre/cargo_autoverify_exclude/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "cargo_autoverify_include"
 version = "0.1.0"
diff --git a/tests/script-based-pre/cargo_autoverify_filter/Cargo.toml b/tests/script-based-pre/cargo_autoverify_filter/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "cargo_autoverify_filter"
 version = "0.1.0"
diff --git a/tests/script-based-pre/cargo_autoverify_harnesses_fail/Cargo.toml b/tests/script-based-pre/cargo_autoverify_harnesses_fail/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "cargo_autoverify_harnesses_fail"
 version = "0.1.0"
diff --git a/tests/script-based-pre/cargo_autoverify_include/Cargo.toml b/tests/script-based-pre/cargo_autoverify_include/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "cargo_autoverify_include"
 version = "0.1.0"
diff --git a/tests/script-based-pre/cargo_autoverify_loops_fixme/Cargo.toml b/tests/script-based-pre/cargo_autoverify_loops_fixme/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "cargo_autoverify_loops_fixme"
 version = "0.1.0"
