Function test_modulo_for_blake_table

bitvm/src/u4/u4_add_stack.rs:225–239

()

    }
    #[test]
    fn test_modulo_for_blake_table() {
        for i in 0..48 {
            let mut stack = StackTracker::new();
            let modulo = u4_push_modulo_for_blake(&mut stack);
            stack.number(i);
            stack.op_pick();
            stack.number(i % 16);
            stack.op_equal();
            stack.op_verify();
            stack.drop(modulo);
            stack.op_true();
            let res = stack.run();
            assert!(res.success);
        }
    }
}