Try to remove host warnings and fix ensures

celinval · Jun 11, 2024 · bced939 · bced939
1 parent bfefeff
commit bced939
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/library/contracts/safety/Cargo.toml b/library/contracts/safety/Cargo.toml
@@ -15,3 +15,7 @@ proc-macro2 = "1.0"
 proc-macro-error = "1.0.4"
 quote = "1.0.20"
 syn = { version = "2.0.18", features = ["full"] }
+
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani_host)'] }
diff --git a/library/contracts/safety/src/lib.rs b/library/contracts/safety/src/lib.rs
@@ -21,5 +21,5 @@ pub fn requires(attr: TokenStream, item: TokenStream) -> TokenStream {
 #[proc_macro_error]
 #[proc_macro_attribute]
 pub fn ensures(attr: TokenStream, item: TokenStream) -> TokenStream {
-    tool::requires(attr, item)
+    tool::ensures(attr, item)
 }