Update Kani version to 78eb4658b0f39ef0cbb88b4918c6e9c3c030ef5e

gitbot · gitbot · commit 37c6ab24442c · 2026-04-23T14:52:47.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 = "415ca503aea80fd4c4c4819ad4770b744f1bc3a1"
+commit = "78eb4658b0f39ef0cbb88b4918c6e9c3c030ef5e"
