// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
//! Define `assert_true` function.

pub fn assert_true(b: bool) {
    assert!(b);
}