Function test_xor_half

bitvm/src/u4/u4_logic_stack.rs:183–200

()

    #[test]
    fn test_xor_half() {
        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);
                stack.number(x);
                stack.number(y);
                u4_logic_with_table_stack(&mut stack, lookup, xor);
                stack.number(x ^ y);
                stack.op_equalverify();
                stack.drop(lookup);
                stack.drop(xor);
                stack.op_true();
                assert!(stack.run().success);
            }
        }
    }

    #[test]
    fn test_and_half() {