Update Kani version to bfa2a98f80a300396f9593cce2b8ce43e77c354f

gitbot · gitbot · commit 08a28233de06 · 2025-04-02T20:24:00.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 = "f284b341613541ade7b13b98467883554a832324"
+commit = "bfa2a98f80a300396f9593cce2b8ce43e77c354f"
