Function run_example

crates/miden-integration-tests/tests/utils.rs:20–81

Function to display transpile Yul code and display each step of the transpilation process in the terminal. This function is only used to demonstrate what Scribe does in a easy to read format.

(yul_code: &str, expected_output: MidenResult)

//Function to display transpile Yul code and display each step of the transpilation process in the terminal.
//This function is only used to demonstrate what Scribe does in a easy to read format.
pub fn run_example(yul_code: &str, expected_output: MidenResult) {
    fn print_title(s: &str) {
        let s1 = format!("=== {} ===", s).blue().bold();
        println!("{}", s1);
        println!(" ");
    }
    println!();
    println!();
    print_title("Input Yul");
    println!("{}", yul_code);
    println!();

    let parsed = parser::parse_yul_syntax(yul_code);

    let ast = optimize_ast(parsed);

    let ast = infer_types(&ast);
    print_title("AST");
    println!("{}", expressions_to_tree(&ast));
    println!();

    let (transpiler, miden_code) = miden_generator::transpile_program(ast, Default::default());
    let mut trimmed_miden_code = miden_code
        .split('\n')
        // .skip_while(|line| *line != "# end std lib #")
        // .filter(|line| !line.trim().starts_with("#"))
        // .filter(|line| !line.trim().is_empty())
        .collect::<Vec<_>>()
        .join("\n");
    print_title("Generated Miden Assembly");
    println!("{}", trimmed_miden_code);
    println!();
    println!("Estimated cost: {}", transpiler.cost);
    println!();
    fs::write(format!("./test_output.masm",), trimmed_miden_code)
        .expect("Unable to write Miden to file.");

    let execution_value = executor::execute(miden_code, vec![]).unwrap();
    let stack = execution_value.last_stack_state();
    let last_stack_value = stack.first().unwrap();

    print_title("Miden Output");
    match expected_output {
        MidenResult::U256(expected) => {
            let stack_value = miden_to_u256(execution_value);
            println!("{}", stack_value);
            if expected != stack_value {
                print_title("Miden Stack");
                println!("{:?}", stack);
                panic!("Failed, stack result not right");
            }
        }
        MidenResult::U32(expected) => {
            println!("{}", last_stack_value);
            if expected != last_stack_value.as_int() as u32 {
                print_title("Miden Stack");
                println!("{:?}", stack);
                panic!("Failed, stack result not right");