Function test_quotient_for_blake_table

bitvm/src/u4/u4_add_stack.rs:209–223

()

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