Add kani to expected cfgs

arctic-alpaca · Jun 15, 2024 · b243463 · b243463
1 parent e32167e
commit b243463
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -86,3 +86,6 @@ harness = false
 debug = true
 #lto = true
 opt-level = 3
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }