Update Kani version to 8d46dc61d89b8b1cb8a3c2f609f74ee1db469f77

gitbot · gitbot · commit 814bd9d720a8 · 2025-03-03T20:22:03.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 = "db9516b292cf4f4b1a414d55e746f82d34fbc9f4"
+commit = "8d46dc61d89b8b1cb8a3c2f609f74ee1db469f77"
