Update Kani version to f76e668b5f86daad11e51d78ab10998426da943b

gitbot · gitbot · commit 705be05fdc98 · 2025-07-31T14:11: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 = "1954c10d033221e8085d597464bc413865152e27"
+commit = "f76e668b5f86daad11e51d78ab10998426da943b"
