Skip to content

Commit f3c9af8

Browse files
RemmyAceeRemmyAcee
committed
fix
2 parents 8bc0d25 + 3d9a289 commit f3c9af8

604 files changed

Lines changed: 463415 additions & 955 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.

‎.gitignore‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,6 @@
99
.idea
1010
.vscode
1111
*.swp
12+
13+
# Agents
14+
GEMINI.md

‎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)