aprender-contracts-cli 0.51.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
18
19
20
21
22
23
24
25

use std::path::Path;

use provable_contracts::binding::parse_binding;
use provable_contracts::probar_gen::{generate_probar_tests, generate_wired_probar_tests};
use provable_contracts::schema::parse_contract;

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

    if let Some(bp) = binding_path {
        let binding = parse_binding(bp)?;
        let contract_file = path
            .file_name()
            .and_then(|n| n.to_str())
            .unwrap_or("unknown");
        print!(
            "{}",
            generate_wired_probar_tests(&contract, contract_file, &binding)
        );
    } else {
        print!("{}", generate_probar_tests(&contract));
    }

    Ok(())
}