// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
//
//! Checks that the `kani::stub` attribute is accepted

fn foo() {}

fn bar() {}

#[kani::proof]
#[kani::stub(foo, bar)]
fn main() {}