rate_common/config.rs
1//! Compile-time constants
2
3/// Add command line flag `-v`.
4pub const ENABLE_LOGGING: bool = true;
5/// Whether to do bounds checking when accessing array elements.
6pub const ENABLE_BOUNDS_CHECKING: bool = cfg!(debug_assertions);
7/// Check the `requires!()` assertions at runtime (cheap).
8pub const CHECK_PRECONDITIONS: bool = true;
9/// Check the `invariant!()` assertions at runtime (cheap).
10pub const CHECK_INVARIANTS: bool = true;
11/// Sanity-check assignment/trail (expensive).
12pub const CHECK_TRAIL_INVARIANTS: bool = cfg!(debug_assertions);
13/// Check correctness of watches (very expensive).
14pub const CHECK_WATCH_INVARIANTS: bool = false;