Add Kani

Cargo.toml

@@ -11,7 +11,7 @@ categories = ["cryptography", "parsing"]
 readme = "README.md"
 
 [dependencies]
-bitcoin = { version = "0.32.7", default-features = false }
+bitcoin = { version = "0.32.7", default-features = true }
 
 [lib]
 crate-type = ["lib"]
@@ -21,3 +21,7 @@ default = ["debug", "satisfy"]
 # Enable Debug trait implementations for error types
 debug = []
 satisfy = []
+kani = []
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)', 'cfg(fuzzing)'] }

kani/.gitignore

@@ -0,0 +1 @@
+target

kani/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "kani"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
+
+
+[dependencies.tinyminiscript]
+path = ".."

kani/src/main.rs

@@ -0,0 +1,13 @@
+fn main() {
+    println!("Hello, world!");
+}
+
+#[cfg(kani)]
+mod verification {
+    use super::*;
+
+    #[kani::proof]
+    pub fn check_something() {
+        assert!(1 == 2)
+    }
+}

src/parser/mod.rs

@@ -1208,3 +1208,16 @@ fn parse_bool<'a>(ctx: &mut ParserContext<'a>) -> Result<AST, ParseError<'a>> {
         }
     }
 }
+
+
+
+#[cfg(kani)]
+mod verification {
+    use super::*;
+
+    #[kani::proof]
+    pub fn check_something() {
+        let ctx = parse("wsh(or_d(pk({}),older(12960)))");
+        assert!(ctx.is_ok());
+    }
+}