soroban-testkit-generators

Soroban-aware property-testing strategies for proptest and arbitrary, so generated inputs respect the ranges real contracts accept.

Available strategies

Usage with proptest

#![allow(unused)]
fn main() {
use proptest::prelude::*;
use soroban_testkit_generators::strategies;

proptest! {
    #[test]
    fn transfer_preserves_total_supply(
        amount in strategies::token_amount(),
        seq in strategies::ledger_sequence(),
    ) {
        // amount is always a valid token balance
        // seq is always a realistic ledger sequence number
    }
}
}

Custom strategies

Compose the built-ins with proptest combinators:

#![allow(unused)]
fn main() {
use proptest::prelude::*;
use soroban_testkit_generators::strategies;

fn transfer_args() -> impl Strategy<Value = (i128, i128)> {
    (strategies::token_amount(), strategies::token_amount())
        .prop_filter("sender must have sufficient balance", |(a, b)| a >= b)
}
}