Function u256_function

crates/miden-integration-tests/tests/u256.rs:286–301

()

#[test]
fn u256_function() {
    run_example(
        "
            function add_a_lot(a:u256) -> b:u256 {
                let b:u256 := 100
                if eq(a, 100) {
                    b := add(a, 18446744073709551616)
                } 
            }
            let z:u256 := add_a_lot(100)
            let b := 4
            z
            ",
        MidenResult::U256(U256::from_dec_str("18446744073709551716").unwrap()),
    );
}

#[test]
fn u256_sum_odds() {