Add native Clarity fuzzing for sBTC contracts#882

Open

moodmosaic wants to merge 9 commits intostacks-network:mainfrom moodmosaic:rendezvous

+713

Commits on Nov 18, 2024

Add placeholders for fuzzing and testing files
moodmosaic
committed
Add invariants for sbtc-token

BowTiedRadone
authored and
moodmosaic
committed

Commits on Nov 20, 2024

Commits on Nov 21, 2024

Add property tests for sbtc-registry
BowTiedRadone
committed

Commits on Nov 25, 2024

Unify invariants and property-based tests
BowTiedRadone
committed

Commits on Nov 28, 2024

Add property-based tests for create-withdrawal-request
BowTiedRadone
committed

Commits on Dec 11, 2024

Add dust amount test for initiate-withdrawal-request
BowTiedRadone
committed