bobcat-maths 0.8.7

bobcat-sdk utilities performing codesize efficient math on Arbitrum Stylus.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

use crate::U;

use proptest::{prelude::Rng, strategy::Strategy};

/// Simple strategy that generates values up to a million.
pub fn strat_tiny_u256() -> impl proptest::prelude::Strategy<Value = U> {
    (0..1_000_000u32).prop_map(U::from)
}

#[derive(PartialEq, Debug, Clone, Copy)]
pub enum Uintsize {
    Small,
    Medium,
    Large,
}

pub fn strat_u(u: Uintsize) -> impl proptest::prelude::Strategy<Value = U> {
    // This has a 33% chance of filling out a third of the lower bits, which,
    // in our interpretation, is decoded as big endian in the next function,
    // so the right side, a 33% chance of two thirds, and a 33% chance of
    // everything is potentially filled out.
    (0..3).prop_perturb(move |s, mut rng| {
        let mut x = U::ZERO;
        let q = 32 / 3;
        if s == 2 && u == Uintsize::Large {
            for i in q * 2..32 {
                x[32 - i - 1] = rng.random();
            }
        }
        if s >= 1 && u != Uintsize::Small {
            for i in q..q * 2 {
                x[32 - i - 1] = rng.random();
            }
        }
        for i in 0..q {
            x[32 - i - 1] = rng.random();
        }
        x
    })
}

pub fn strat_small_u() -> impl proptest::prelude::Strategy<Value = U> {
    strat_u(Uintsize::Small)
}

pub fn strat_medium_u() -> impl proptest::prelude::Strategy<Value = U> {
    strat_u(Uintsize::Medium)
}

pub fn strat_large_u() -> impl proptest::prelude::Strategy<Value = U> {
    strat_u(Uintsize::Large)
}

pub fn strat_addr_not_empty() -> impl proptest::prelude::Strategy<Value = [u8; 20]> {
    ([
        1..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
        0..u8::MAX,
    ])
    .prop_map(|x| x)
}