From eb8dc00fa805cbed61991e4e949e5573a6623773 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Thu, 6 Apr 2023 14:48:54 -0600
Subject: [PATCH] Add cfg(kani) to proofs

---
 src/node.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/node.rs b/src/node.rs
index 413040a4e3..50aa98f2ad 100644
--- a/src/node.rs
+++ b/src/node.rs
@@ -311,12 +311,14 @@ fn node_size_test() {
     assert_eq!(mem::size_of::<Node>(), crate::BLOCK_SIZE as usize);
 }
 
+#[cfg(kani)]
 #[kani::proof]
 fn check_node_level() {
     let offset = kani::any();
     NodeLevel::new(offset);
 }
 
+#[cfg(kani)]
 #[kani::proof]
 fn check_node_perms() {
     let mode = 0o750;