aprender-contracts-cli 0.31.1

CLI for provable-contracts — validate, scaffold, verify, status, audit
1
2
3
4
5
6
7
8
9
10

use std::path::Path;

use provable_contracts::kani_gen::generate_kani_harnesses;
use provable_contracts::schema::parse_contract;

pub fn run(path: &Path) -> Result<(), Box<dyn std::error::Error>> {
    let contract = parse_contract(path)?;
    print!("{}", generate_kani_harnesses(&contract));
    Ok(())
}