bashrs 6.42.0

Rust-to-Shell transpiler for deterministic bootstrap scripts
Documentation 
1
2
3
4
5
6
7
8

//! Build script for bashrs crate.
//!
//! This build script configures cargo to recognize the `kani` cfg for verification.

fn main() {
    // Allow kani cfg for verification
    println!("cargo::rustc-check-cfg=cfg(kani)");
}