Trait kani::arbitrary::Arbitrary

source ·
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] where [(); { _ }]: { ... } }
Expand description

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

Required Methods§

source

fn any() -> Self

Provided Methods§

source

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl Arbitrary for bool

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

impl Arbitrary for f32

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for f64

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for i8

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for i16

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for i32

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for i64

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for i128

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for isize

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for u8

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for u16

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for u32

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for u64

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for u128

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for ()

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for usize

source§

fn any() -> Self

source§

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]
where [(); { _ }]:,

source§

impl Arbitrary for PhantomPinned

source§

fn any() -> Self

source§

impl Arbitrary for Duration

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroI8

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroI16

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroI32

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroI64

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroI128

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroIsize

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroU8

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroU16

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroU32

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroU64

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroU128

source§

fn any() -> Self

source§

impl Arbitrary for NonZeroUsize

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

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)

source§

fn any() -> Self

source§

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)

source§

fn any() -> Self

source§

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)

source§

fn any() -> Self

source§

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)

source§

fn any() -> Self

source§

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)

source§

fn any() -> Self

source§

impl<T> Arbitrary for Option<T>
where T: Arbitrary,

source§

fn any() -> Self

source§

impl<T> Arbitrary for Box<T>
where T: Arbitrary,

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

source§

impl<T, const N: usize> Arbitrary for [T; N]
where T: Arbitrary, [(); { _ }]:,

source§

fn any() -> Self

source§

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

source§

fn any() -> Self

Implementors§