aprender-contracts-cli 0.32.0

CLI for provable-contracts — validate, scaffold, verify, status, audit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use std::path::Path;

use provable_contracts::invariant_gen::generate_invariants;
use provable_contracts::schema::parse_contract;

pub fn run(path: &Path) -> Result<(), Box<dyn std::error::Error>> {
    let contract = parse_contract(path)?;
    let output = generate_invariants(&contract);

    if output.is_empty() {
        println!("No type_invariants defined in this contract.");
    } else {
        print!("{output}");
    }

    Ok(())
}