Function run

bitvm/src/lib.rs:263–278

(script: treepp::Script)

}

pub fn run(script: treepp::Script) {
    // let stack = script.clone().analyze_stack();
    // if !stack.is_valid_final_state_without_inputs() {
    //     println!("Stack analysis does not end in valid state: {:?}", stack);
    //     assert!(false);
    // }
    let exec_result = execute_script(script);
    if !exec_result.success {
        println!(
            "ERROR: {:?} <--- \n STACK: {:4} ",
            exec_result.last_opcode, exec_result.final_stack
        );
    }
    //println!("Max_stack_items = {}", exec_result.stats.max_nb_stack_items);
    assert!(exec_result.success);
}

pub fn execute_raw_script_with_inputs(script: Vec<u8>, witness: Vec<Vec<u8>>) -> ExecuteInfo {
    // Get the default options for the script exec.