Function test_valid_bigint

bitvm/src/bigint/std.rs:677–709

()

    #[test]
    fn test_valid_bigint() {
        let invalid_bigint = (
            script! {
                {0} {0} {0} {0} {0} {0} {0} {0} {-1}
            },
            false,
        );

        let invalid_bigint2 = (
            script! {
                {1 << U256::HEAD} {0} {0} {0} {0} {0} {0} {0} {0}
            },
            false,
        );

        let valid_bigint = (
            script! {
                {0x1234} {0x1234} {0x1234} {0x1234} {0x1234} {0x1234} {0x1234} {0x1234} {0x1234}
            },
            true,
        );

        for (bigint, expected) in [invalid_bigint, invalid_bigint2, valid_bigint] {
            let res = execute_script(script! {
                {bigint.clone()}
                { U256::is_valid_bigint() }
                OP_TOALTSTACK
                for _ in 0..9 { OP_DROP }
                OP_FROMALTSTACK
            });
            assert_eq!(res.success, expected);
        }
    }

    #[test]
    fn test_zip() {