Use proptest to test precompiles

matter-labs · Jan 21, 2025 · 232245d · 232245d
1 parent 6f03072
commit 232245d
Show file tree

Hide file tree

Showing 4 changed files with 262 additions and 221 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -23,13 +23,11 @@ categories = ["cryptography"]
 afl = "0.15"
 anyhow = "1"
 arbitrary = "1"
-assert_matches = "1.5.0"
 divan = "0.1"
 enum_dispatch = "0.3"
 pretty_assertions = "1.4.0"
 primitive-types = "0.12.1"
 proptest = "1.4"
-rand = "0.8.5"
 
 # "Internal" dependencies
 zkevm_opcode_defs = "0.150.0"

diff --git a/crates/vm2/Cargo.toml b/crates/vm2/Cargo.toml
@@ -24,10 +24,8 @@ zk_evm = { workspace = true, optional = true }
 anyhow = { workspace = true, optional = true }
 
 [dev-dependencies]
-assert_matches.workspace = true
 divan.workspace = true
 proptest.workspace = true
-rand.workspace = true
 
 [lints]
 workspace = true