Skip to main content

run

aprender_contracts_cli::commands::proof_status

Function run 

Source 
pub fn run(
    path: &Path,
    binding_path: Option<&Path>,
    verify_root: Option<&Path>,
    format: &str,
    table: bool,
    kind_filter: Option<&str>,
) -> Result<(), Box<dyn Error>>