Added test

tautschnig · Jun 5, 2024 · b74d32d · b74d32d
1 parent 836a5ee
commit b74d32d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/kani/FatPointers/metadata.rs b/tests/kani/FatPointers/metadata.rs
@@ -0,0 +1,9 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
+#![feature(ptr_metadata)]
+
+#[kani::proof]
+fn ptr_metadata() {
+    assert_eq!(std::ptr::metadata("foo"), 3_usize);
+}