Update Kani version to 5af25b54e695e0480887ab2e978cd4dd05b7154c

gitbot · gitbot · commit 9bf8199232e7 · 2025-07-22T14:45:34.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 = "533403efc3a2eef94e13d67f214ee25a6fb21b41"
+commit = "5af25b54e695e0480887ab2e978cd4dd05b7154c"
