Function test_and_half

bitvm/src/u4/u4_logic_stack.rs:203–220

()

    #[test]
    fn test_and_half() {
        for x in 0..16 {
            for y in 0..16 {
                let mut stack = StackTracker::new();
                let and = u4_push_half_and_table_stack(&mut stack);
                let lookup = u4_push_half_lookup_table_0_based_stack(&mut stack);
                stack.number(x);
                stack.number(y);
                u4_logic_with_table_stack(&mut stack, lookup, and);
                stack.number(x & y);
                stack.op_equalverify();
                stack.drop(lookup);
                stack.drop(and);
                stack.op_true();
                assert!(stack.run().success);
            }
        }
    }
}