Fix hashset perf test (#2758)

model-checking · Sep 12, 2023 · 7136495 · 7136495
1 parent 605ca49
commit 7136495
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/tests/perf/hashset/Cargo.toml b/tests/perf/hashset/Cargo.toml
@@ -0,0 +1,14 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+[package]
+name = "hashset"
+version = "0.1.0"
+edition = "2021"
+description = "Verify HashSet basic behavior"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+
+[package.metadata.kani.unstable]
+stubbing = true
diff --git a/tests/perf/hashset/hash_set.rs → tests/perf/hashset/src/lib.rs b/tests/perf/hashset/hash_set.rs → tests/perf/hashset/src/lib.rs