kani/
lib.rs

1// Copyright Kani Contributors
2// SPDX-License-Identifier: Apache-2.0 OR MIT
3
4//! # Kani library crate
5//!
6//! `kani` is a collection of utility macros, traits and functions that help
7//! writing proof harnesses for the Kani verifier.
8
9
10//! A dummy function to avoid having an empty file.
11pub fn hello_kani() {
12  println!("Hello form the Kani crate!")
13}