Update Kani version to e48888716ac16e2ce098c00355a52205c683f679

gitbot · gitbot · commit a15a38a250ea · 2025-03-14T07:35:05.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 = "2e95d8bc47a04f01badcb3d30875269be29a46aa"
+commit = "e48888716ac16e2ce098c00355a52205c683f679"
