// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

/// This test checks that zero checks are reported for an empty test

#[kani::proof]
fn check_nothing() {}