Update Kani version to 0e4cab92da84cfccbb0dd3066f5e2d9ef45cfbdd

gitbot · gitbot · commit 16f8e14bcb4d · 2025-04-10T14:09:12.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 = "034b0569561ebe841bf73155360a8f830e1512c5"
+commit = "0e4cab92da84cfccbb0dd3066f5e2d9ef45cfbdd"
