Enable verbosity 9 for performance numbers

tests/perf/btreeset/insert_any/Cargo.toml

@@ -14,3 +14,8 @@ edition = "2021"
 # https://github.com/model-checking/kani/issues/3099 is fixed
 [package.metadata.kani]
 flags = { ignore-locals-lifetime = true, enable-unstable = true }
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/btreeset/insert_multi/Cargo.toml

@@ -14,3 +14,8 @@ edition = "2021"
 # https://github.com/model-checking/kani/issues/3099 is fixed
 [package.metadata.kani]
 flags = { ignore-locals-lifetime = true, enable-unstable = true }
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/btreeset/insert_same/Cargo.toml

@@ -14,3 +14,8 @@ edition = "2021"
 # https://github.com/model-checking/kani/issues/3099 is fixed
 [package.metadata.kani]
 flags = { ignore-locals-lifetime = true, enable-unstable = true }
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/format/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/hashset/Cargo.toml

@@ -17,3 +17,8 @@ stubbing = true
 # https://github.com/model-checking/kani/issues/3099 is fixed
 [package.metadata.kani]
 flags = { ignore-locals-lifetime = true, enable-unstable = true }
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/kani-lib/arbitrary/Cargo.toml

@@ -11,3 +11,8 @@ description = "Performance tests for different implementations of arbitrary"
 path = "src/check_arbitrary.rs"
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/misc/array_fold/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/misc/display_trait/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/misc/struct_defs/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/vec/box_dyn/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/vec/string/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]

tests/perf/vec/vec/Cargo.toml

@@ -9,3 +9,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+
+# We need runtime statistics for performance evaluation
+[kani.flags]
+enable-unstable = true
+cbmc-args = ["--verbosity", "9" ]