Prop-test

proptest 库的实用工具，该库提供了一个可由 rustfmt 格式化的宏。

与原始的 proptest!() 宏不同，此宏不是为了“包装”测试函数，而是打算在它们内部作为表达式使用。

示例

fn reverse<T: Clone>(xs: &[T]) -> Vec<T> {
    xs.iter().rev().cloned().collect()
}

use prop_test::prelude::*;

// This expression would be inside of a `#[test]` function
prop_test!(&prop::collection::vec(any::<i32>(), 0..100), |xs| {
    prop_assert_eq!(&xs, &reverse(&reverse(&xs)));
    Ok(())
});