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;