List of all items

Structs

• log::CvlrLogger
• mathint::NativeInt
• mathint::nativeint_u64::NativeIntU64

Traits

• log::CvlrLog
• nondet::Nondet

Macros

• asserts::add_loc
• asserts::asserts::cvlr_assert_eq
• asserts::asserts::cvlr_assert_eq_if
• asserts::asserts::cvlr_assert_ge
• asserts::asserts::cvlr_assert_ge_if
• asserts::asserts::cvlr_assert_gt
• asserts::asserts::cvlr_assert_gt_if
• asserts::asserts::cvlr_assert_le
• asserts::asserts::cvlr_assert_le_if
• asserts::asserts::cvlr_assert_lt
• asserts::asserts::cvlr_assert_lt_if
• asserts::asserts::cvlr_assert_ne
• asserts::asserts::cvlr_assert_ne_if
• asserts::asserts::cvlr_assume_eq
• asserts::asserts::cvlr_assume_ge
• asserts::asserts::cvlr_assume_gt
• asserts::asserts::cvlr_assume_le
• asserts::asserts::cvlr_assume_lt
• asserts::asserts::cvlr_assume_ne
• asserts::cvlr_assert
• asserts::cvlr_assert_eq
• asserts::cvlr_assert_eq_if
• asserts::cvlr_assert_ge
• asserts::cvlr_assert_ge_if
• asserts::cvlr_assert_gt
• asserts::cvlr_assert_gt_if
• asserts::cvlr_assert_if
• asserts::cvlr_assert_le
• asserts::cvlr_assert_le_if
• asserts::cvlr_assert_lt
• asserts::cvlr_assert_lt_if
• asserts::cvlr_assert_ne
• asserts::cvlr_assert_ne_if
• asserts::cvlr_asserts_core_file
• asserts::cvlr_asserts_core_line
• asserts::cvlr_assume
• asserts::cvlr_assume_eq
• asserts::cvlr_assume_ge
• asserts::cvlr_assume_gt
• asserts::cvlr_assume_le
• asserts::cvlr_assume_lt
• asserts::cvlr_assume_ne
• asserts::cvlr_satisfy
• asserts::cvlr_vacuity_check
• asserts::cvt::cvt_assert
• asserts::cvt::cvt_assume
• asserts::cvt::cvt_satisfy
• asserts::cvt::cvt_vacuity_check
• log::clog
• log::cvlr_log
• log::cvlr_log_core_file
• log::cvlr_log_core_line
• log::cvlr_rule_location
• log::cvt_cex_print_i64
• log::cvt_cex_print_tag
• log::cvt_cex_print_u64
• log::impl_clog_for_struct
• log::impl_cvlr_log_for_struct
• nondet::nondet_impl
• prelude::clog

Attribute Macros

• prelude::cvlr_early_panic
• prelude::cvlr_hook_on_entry
• prelude::cvlr_hook_on_exit
• prelude::cvlr_rule
• prelude::early_panic
• prelude::hook_on_entry
• prelude::hook_on_exit
• prelude::mock_fn
• prelude::rule

Functions

• asserts::cvlr_assert_checked
• asserts::cvlr_assume_checked
• asserts::cvlr_sanity_checked
• asserts::cvlr_satisfy_checked
• asserts::log::add_loc
• is_u128
• is_u16
• is_u32
• is_u64
• is_u8
• log::CVT_calltrace_attach_location
• log::CVT_calltrace_print_i128
• log::CVT_calltrace_print_i64_1
• log::CVT_calltrace_print_i64_2
• log::CVT_calltrace_print_i64_3
• log::CVT_calltrace_print_location
• log::CVT_calltrace_print_string
• log::CVT_calltrace_print_tag
• log::CVT_calltrace_print_u128
• log::CVT_calltrace_print_u64_1
• log::CVT_calltrace_print_u64_2
• log::CVT_calltrace_print_u64_3
• log::CVT_calltrace_print_u64_as_fixed
• log::CVT_calltrace_scope_end
• log::CVT_calltrace_scope_start
• log::CVT_rule_location
• log::add_loc
• log::clog
• log::cvlr_log
• log::cvlr_log_with
• log::log
• log::log_i128
• log::log_i64
• log::log_loc
• log::log_rule_location
• log::log_scope_end
• log::log_scope_start
• log::log_str
• log::log_u128
• log::log_u64
• log::log_u64_as_fp
• log::rt_decls::CVT_calltrace_attach_location
• log::rt_decls::CVT_calltrace_print_i128
• log::rt_decls::CVT_calltrace_print_i64_1
• log::rt_decls::CVT_calltrace_print_i64_2
• log::rt_decls::CVT_calltrace_print_i64_3
• log::rt_decls::CVT_calltrace_print_location
• log::rt_decls::CVT_calltrace_print_string
• log::rt_decls::CVT_calltrace_print_tag
• log::rt_decls::CVT_calltrace_print_u128
• log::rt_decls::CVT_calltrace_print_u64_1
• log::rt_decls::CVT_calltrace_print_u64_2
• log::rt_decls::CVT_calltrace_print_u64_3
• log::rt_decls::CVT_calltrace_print_u64_as_fixed
• log::rt_decls::CVT_calltrace_scope_end
• log::rt_decls::CVT_calltrace_scope_start
• log::rt_decls::CVT_rule_location
• mathint::is_u128
• mathint::is_u16
• mathint::is_u32
• mathint::is_u64
• mathint::is_u8
• mathint::nativeint_u64::is_u128
• mathint::nativeint_u64::is_u16
• mathint::nativeint_u64::is_u32
• mathint::nativeint_u64::is_u64
• mathint::nativeint_u64::is_u8
• nondet::cvlr_nondet_small_i128
• nondet::cvlr_nondet_small_u128
• nondet::havoc::alloc_havoced
• nondet::havoc::alloc_mut_ref_havoced
• nondet::havoc::alloc_ref_havoced
• nondet::havoc::memhavoc
• nondet::nondet
• nondet::nondet_option
• nondet::nondet_with
• prelude::clog
• prelude::cvlr_nondet
• prelude::nondet
• u128_arith::cvlr_u128_ceil_div
• u128_arith::cvlr_u128_gt0
• u128_arith::cvlr_u128_leq