Update Kani version

model-checking · Jan 17, 2025 · 1a0fdc9 · 1a0fdc9
1 parent 224c3d8
commit 1a0fdc9
Showing 1 changed file with 1 addition and 1 deletion.
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 = "6f70c7d9ee283356e8a3712c42c4622a6bf6c5e8"