Function test_and_with_xor_half_table

bitvm/src/u4/u4_logic_stack.rs:141–160

()

    #[test]
    fn test_and_with_xor_half_table() {
        for x in 0..16 {
            for y in 0..16 {
                let mut stack = StackTracker::new();
                let xor = u4_push_half_xor_table_stack(&mut stack);
                let lookup = u4_push_half_lookup_table_0_based_stack(&mut stack);
                let shift = u4_push_shift_tables_stack(&mut stack);
                stack.number(x);
                stack.number(y);
                u4_and_with_xor_stack(&mut stack, lookup, xor, shift);
                stack.number(x & y);
                stack.op_equalverify();
                stack.drop(shift);
                stack.drop(lookup);
                stack.drop(xor);
                stack.op_true();
                assert!(stack.run().success);
            }
        }
    }

    #[test]
    fn test_xor() {