Crate cvlr_nondet 

Modules

havoc

Macros

nondet_impl

Traits

Nondet

A trait for giving a type a non-deterministic value

Functions

cvlr_nondet_small_i128

cvlr_nondet_small_u128

nondet

Return a nondet value of type according to the Nondet trait

nondet_option

nondet_with