SoroFuzz-Labs/soro-fuzz

docs: wire-your-own-contract walkthrough for the token example about 2 hours ago

documentation good first issue Trivial (100)

0

A contract-agnostic fuzzing and property-testing harness for Soroban smart contracts — implement four traits, get cargo-fuzz + proptest testing, a reusable invariant/strategy library, and an HTTP backend for running campaigns.

Rust

#cargo-fuzz#fuzzing#property-testing#proptest#rust#security#soroban#soroban-sdk#stellar#testing

test(core): table-driven coverage for Outcome::from_try_result classification about 2 hours ago

good first issue Trivial (100)

SoroFuzz-Labs/soro-fuzz

0

A contract-agnostic fuzzing and property-testing harness for Soroban smart contracts — implement four traits, get cargo-fuzz + proptest testing, a reusable invariant/strategy library, and an HTTP backend for running campaigns.

Rust

#cargo-fuzz#fuzzing#property-testing#proptest#rust#security#soroban#soroban-sdk#stellar#testing

feat(strategies): add an edge-biased BytesN<32> Arbitrary strategy about 2 hours ago

enhancement good first issue Trivial (100)

SoroFuzz-Labs/soro-fuzz

0

A contract-agnostic fuzzing and property-testing harness for Soroban smart contracts — implement four traits, get cargo-fuzz + proptest testing, a reusable invariant/strategy library, and an HTTP backend for running campaigns.

Rust

#cargo-fuzz#fuzzing#property-testing#proptest#rust#security#soroban#soroban-sdk#stellar#testing

Open Issues Need Help