Skip to content

Commit 2133c1a

Browse files
devJajadevJaja
committed
Security: Fuzz Testing for Math Logic
1 parent 73aaf15 commit 2133c1a

567 files changed

Lines changed: 460239 additions & 750 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎Cargo.lock‎

Lines changed: 120 additions & 15 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎contracts/vault/Cargo.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,3 +12,4 @@ soroban-sdk = { workspace = true }
1212
[dev-dependencies]
1313
soroban-sdk = { workspace = true, features = ["testutils"] }
1414
mock-strategy = { path = "../mock-strategy" }
15+
proptest = { version = "1", default-features = false, features = ["std"] }

‎contracts/vault/proptest-regressions/fuzz_math.txt‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 5fb6e9c997750435f990105f21d40fa1e16d428d3130a6b68acf02703a302c11 # shrinks to deposit_amount = 1

0 commit comments

Comments
 (0)