extern crate proptest_derive;
use proptest_derive::Arbitrary;
fn even(x: &u8) -> bool {
x % 2 == 0
}
#[derive(Debug, Arbitrary)] enum NonFatal<#[proptest(skip)] T> {
#[proptest(strategy = "(0..10u8).prop_map(T0::V0)")]
V0(
#[proptest(filter(even))]
u8,
T
),
}
#[derive(Debug, Arbitrary)] enum T0 {
#[proptest(strategy = "(0..10u8).prop_map(T0::V0)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] enum T1 {
#[proptest(strategy = "(0..10u8).prop_map(|field| T1::V0 { field })")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] enum T2 {
#[proptest(value = "T2::V0(1)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] enum T3 {
#[proptest(value = "T3::V0 { field: 1 }")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] #[proptest(no_params)]
enum T4 {
#[proptest(strategy = "(0..10u8).prop_map(T4::V0)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] #[proptest(no_params)]
enum T5 {
#[proptest(strategy = "(0..10u8).prop_map(|field| T5::V0 { field })")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] #[proptest(no_params)]
enum T6 {
#[proptest(value = "T6::V0(1)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] #[proptest(no_params)]
enum T7 {
#[proptest(value = "T7::V0 { field: 1 }")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
struct Unit;
#[derive(Debug, Arbitrary)] #[proptest(params(Unit))]
enum T8 {
#[proptest(strategy = "(0..10u8).prop_map(T8::V0)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] #[proptest(params(Unit))]
enum T9 {
#[proptest(strategy = "(0..10u8).prop_map(|field| T9::V0 { field })")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] #[proptest(params(Unit))]
enum T10 {
#[proptest(value = "T10::V0(1)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] #[proptest(params(Unit))]
enum T11 {
#[proptest(value = "T11::V0 { field: 1 }")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] enum T12 {
#[proptest(params(Unit))]
#[proptest(strategy = "(0..10u8).prop_map(T12::V0)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] enum T13 {
#[proptest(params(Unit))]
#[proptest(strategy = "(0..10u8).prop_map(|field| T13::V0 { field })")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] enum T14 {
#[proptest(params(Unit))]
#[proptest(value = "T14::V0(1)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] enum T15 {
#[proptest(params(Unit))]
#[proptest(value = "T15::V0 { field: 1 }")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] enum T16 {
#[proptest(no_params)]
#[proptest(strategy = "(0..10u8).prop_map(T16::V0)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] enum T17 {
#[proptest(no_params)]
#[proptest(strategy = "(0..10u8).prop_map(|field| T17::V0 { field })")]
V0 {
#[proptest(filter(even))]
field: u8
}
}
#[derive(Debug, Arbitrary)] enum T18 {
#[proptest(no_params)]
#[proptest(value = "T18::V0(1)")]
V0(
#[proptest(filter(even))]
u8
),
}
#[derive(Debug, Arbitrary)] enum T19 {
#[proptest(no_params)]
#[proptest(value = "T19::V0 { field: 1 }")]
V0 {
#[proptest(filter(even))]
field: u8
}
}