bashrs 0.3.1

Rust-to-Shell transpiler for deterministic bootstrap scripts
Documentation
1
2
3
4
fn main() {
    // Allow kani cfg for verification
    println!("cargo::rustc-check-cfg=cfg(kani)");
}