Update Kani version (model-checking#160)

zhassan-aws · web-flow · commit 6aa2661e20a7 · 2024-11-12T19:15:21.000Z
Update to the version where the CBMC viewer is removed. This should
resolve the issues some people are having with the `run_kani.sh` script.
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 = "8400296f5280be4f99820129bc66447e8dff63f4"
+commit = "26c078e097025499baf6e360210a21989d3605e0"
