feat: Add prusti-contracts dependency

MathieuSoysal · Mar 3, 2024 · d4a1bee · d4a1bee
1 parent d6a64c6
commit d4a1bee
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -11,3 +11,4 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dev-dependencies]
+prusti-contracts = "0.2.0"