.cargo/config: set KANI_DIR = "./kani/target/kani"

zjp-CN · zjp-CN · commit da45e994d210 · 2025-04-14T21:05:15.000+08:00
diff --git a/.cargo/config.toml b/.cargo/config.toml
@@ -0,0 +1,2 @@
+[env]
+KANI_DIR = "./kani/target/kani"
