Trait kani::arbitrary::Arbitrary

pub trait Arbitrary
where
    Self: Sized,
{
    // Required method
    fn any() -> Self;

    // Provided method
    fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH] { ... }
}

This trait should be used to generate symbolic variables that represent any valid value of its type.

Required Methods

fn any() -> Self

Provided Methods

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Arbitrary for bool

fn any() -> Self

impl Arbitrary for char

Validate that a char is not outside the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF] Ref: https://doc.rust-lang.org/stable/nomicon/what-unsafe-does.html

fn any() -> Self

impl Arbitrary for f16

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for f32

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for f64

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for f128

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for i8

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for i16

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for i32

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for i64

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for i128

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for isize

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for u8

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for u16

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for u32

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for u64

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for u128

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for ()

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for usize

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Arbitrary for PhantomPinned

fn any() -> Self

impl Arbitrary for Duration

fn any() -> Self

impl Arbitrary for NonZeroI8

fn any() -> Self

impl Arbitrary for NonZeroI16

fn any() -> Self

impl Arbitrary for NonZeroI32

fn any() -> Self

impl Arbitrary for NonZeroI64

fn any() -> Self

impl Arbitrary for NonZeroI128

fn any() -> Self

impl Arbitrary for NonZeroIsize

fn any() -> Self

impl Arbitrary for NonZeroU8

fn any() -> Self

impl Arbitrary for NonZeroU16

fn any() -> Self

impl Arbitrary for NonZeroU32

fn any() -> Self

impl Arbitrary for NonZeroU64

fn any() -> Self

impl Arbitrary for NonZeroU128

fn any() -> Self

impl Arbitrary for NonZeroUsize

fn any() -> Self

impl<A: Arbitrary> Arbitrary for (A,)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary> Arbitrary for (A, B)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary> Arbitrary for (A, B, C)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary> Arbitrary for (A, B, C, D)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary> Arbitrary for (A, B, C, D, E)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary> Arbitrary for (A, B, C, D, E, F)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary> Arbitrary for (A, B, C, D, E, F, G)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary, K: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J, K)

fn any() -> Self

impl<A: Arbitrary, B: Arbitrary, C: Arbitrary, D: Arbitrary, E: Arbitrary, F: Arbitrary, G: Arbitrary, H: Arbitrary, I: Arbitrary, J: Arbitrary, K: Arbitrary, L: Arbitrary> Arbitrary for (A, B, C, D, E, F, G, H, I, J, K, L)

fn any() -> Self

impl<T> Arbitrary for Option<T>

where T: Arbitrary,

fn any() -> Self

impl<T> Arbitrary for Box<T>

where T: Arbitrary,

fn any() -> Self

impl<T, E> Arbitrary for Result<T, E>

where T: Arbitrary, E: Arbitrary,

fn any() -> Self

impl<T, const N: usize> Arbitrary for [T; N]

where T: Arbitrary,

fn any() -> Self

impl<T: ?Sized> Arbitrary for PhantomData<T>

fn any() -> Self

Implementors