Skip to content

Commit

Permalink
Add proptests for modified tree only
Browse files Browse the repository at this point in the history
  • Loading branch information
Avi-D-coder committed Mar 6, 2024
1 parent 4ec8d70 commit 0ac5735
Show file tree
Hide file tree
Showing 6 changed files with 233 additions and 190 deletions.
149 changes: 18 additions & 131 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 7 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -4,13 +4,18 @@ version = "0.1.0"
edition = "2021"

[features]
# default = ["std"]
default = ["std"]
std = []

[profile.test]
opt-level = 3
debug-assertions = true
overflow-checks = true


[dependencies]
sha2 = "0.10"
bumpalo = "3"
ouroboros = "0.18"

[dev-dependencies]
proptest = "1"
Loading

0 comments on commit 0ac5735

Please sign in to comment.