aprender_contracts_cli/commands/kani.rs
1use std::path::Path;
2
3use provable_contracts::kani_gen::generate_kani_harnesses;
4use provable_contracts::schema::parse_contract;
5
6pub fn run(path: &Path) -> Result<(), Box<dyn std::error::Error>> {
7 let contract = parse_contract(path)?;
8 print!("{}", generate_kani_harnesses(&contract));
9 Ok(())
10}