Update Kani version to a7d917d31772cc56e5f78c87a3876cae003b63b9

gitbot · gitbot · commit df0441ce2a88 · 2025-08-20T21:28:35.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 = "f27222d9228d10dfc3eee34fd02be1cbc20d2c39"
+commit = "a7d917d31772cc56e5f78c87a3876cae003b63b9"
