Update Kani version to 533403efc3a2eef94e13d67f214ee25a6fb21b41

gitbot · gitbot · commit a1f0e0db8117 · 2025-07-11T14:09:49.000Z
diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "12386811f934e7eb76e794bea787a1030f934735"
+commit = "533403efc3a2eef94e13d67f214ee25a6fb21b41"
