proptest-recurse

使用 proptest 定义相互递归策略的辅助工具。

lib.rs:

本软件包提供了一种辅助结构体，用于使用 proptest 定义相互递归策略。当需要定义简单的递归策略时，prop_recursive 组合器非常有用，但对于两个或更多相互递归策略，使用起来会变得相当繁琐。 StrategySet 旨在解决这个问题。

示例

假设我们有以下相互递归的类型 First 和 Second

#[derive(Clone, Debug)]
enum First {
    Zero,
    Second(Vec<Second>),
}

#[derive(Clone, Debug)]
enum Second {
    Zero,
    First(First),
}

我们可以使用 StrategySet 定义每个类型的策略

#
#
#
use proptest_recurse::{StrategySet, StrategyExt};

fn arb_first(set: &mut StrategySet) -> SBoxedStrategy<First> {
    Just(First::Zero).prop_mutually_recursive(5, 32, 8, set, |set| {
        vec(set.get::<Second, _>(arb_second), 0..8)
            .prop_map(First::Second)
            .sboxed()
    })
}

fn arb_second(set: &mut StrategySet) -> SBoxedStrategy<Second> {
    Just(Second::Zero)
        .prop_mutually_recursive(3, 32, 1, set, |set| {
            set.get::<First, _>(arb_first)
                .prop_map(Second::First)
                .sboxed()
        }).sboxed()
}
#

要使用这些策略，只需传递一个空的 StrategySet

#
#
#
#
#
#
#
proptest! {
    #[test]
    fn create(_ in arb_first(&mut Default::default())) {}
}