Update Kani version to 54bb431831f931b372028fed50708b82f59c6c68

gitbot · gitbot · commit 7c1cbac3f02e · 2025-09-10T14:13:01.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 = "1f6d355f39e39091e632bea92bc1b0cb6b63ab95"
+commit = "54bb431831f931b372028fed50708b82f59c6c68"
