Target Soroban contracts for soro-fuzz: a counter, token, and vault, plus deliberately-broken variants — each a worked example of wiring a fuzzable contract to the soro-fuzz harness. Part of the soro-fuzz fuzzing/property-testing project for Stellar smart contracts.

0 stars 0 forks 0 watchers Rust Apache License 2.0
fuzzing property-testing rust security smart-contracts soroban soroban-sdk stellar testing
1 Open Issue Need Help Last updated: Aug 17, 2026

Open Issues Need Help

View All on GitHub
documentation good first issue Trivial (100)

Target Soroban contracts for soro-fuzz: a counter, token, and vault, plus deliberately-broken variants — each a worked example of wiring a fuzzable contract to the soro-fuzz harness. Part of the soro-fuzz fuzzing/property-testing project for Stellar smart contracts.

Rust
#fuzzing#property-testing#rust#security#smart-contracts#soroban#soroban-sdk#stellar#testing