rate-common 0.3.0

Internal modules for rate
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Compile-time constants

/// Add command line flag `-v`.
pub const ENABLE_LOGGING: bool = true;
/// Whether to do bounds checking when accessing array elements.
pub const ENABLE_BOUNDS_CHECKING: bool = cfg!(debug_assertions);
/// Check the `requires!()` assertions at runtime (cheap).
pub const CHECK_PRECONDITIONS: bool = true;
/// Check the `invariant!()` assertions at runtime (cheap).
pub const CHECK_INVARIANTS: bool = true;
/// Sanity-check assignment/trail (expensive).
pub const CHECK_TRAIL_INVARIANTS: bool = cfg!(debug_assertions);
/// Check correctness of watches (very expensive).
pub const CHECK_WATCH_INVARIANTS: bool = false;