Skip to content

test: add fuzz testing for Backstop contract - #810

Open
Violetlove200100 wants to merge 2 commits into
soroventures:mainfrom
Violetlove200100:feat/backstop-fuzz-testing
Open

test: add fuzz testing for Backstop contract#810
Violetlove200100 wants to merge 2 commits into
soroventures:mainfrom
Violetlove200100:feat/backstop-fuzz-testing

Conversation

@Violetlove200100

Copy link
Copy Markdown

Summary

  • add proptest as a Backstop development dependency
  • fuzz valid and invalid fee rates and fee calculations
  • fuzz deposits and withdrawals while asserting token balances and contract totals remain consistent
  • verify rejected state-changing inputs leave state unchanged

Verification

  • git diff --check passed
  • cargo fmt --all -- --check could not run: cargo is not installed in the execution environment
  • cargo test -p soromint-backstop could not run: cargo is not installed in the execution environment

Closes #741

Violetlove200100 and others added 2 commits August 26, 2026 18:11
Add proptest coverage for fee validation, fee calculation, deposits, withdrawals, and state preservation.

Closes soroventures#741

Generated with Codebuff 🤖
Co-Authored-By: Codebuff <noreply@codebuff.com>
Preserve upstream Backstop getter coverage while retaining the proptest fuzz suite.

Generated with Codebuff 🤖
Co-Authored-By: Codebuff <noreply@codebuff.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add Fuzz Testing for Backstop Contract

1 participant