urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-22 15:08:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

[jets] add lth test

Browse Source
This commit is contained in:
Philip Monk 2023-02-14 15:54:23 -07:00
parent 38399d12b0
commit 3d022b3f90
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
rust/ares/src/jets_math.rs
View File

@ -471,6 +471,10 @@ mod tests {
A(stack, &ubig!(0xdeadbeef12345678fedcba9876543210))
}
fn atom_128_b(stack: &mut NockStack) -> Noun {
A(stack, &ubig!(0xdeadbeef12345678fedcba9876540000))
}
#[allow(non_snake_case)]
fn A(stack: &mut NockStack, ubig: &UBig) -> Noun {
Atom::from_ubig(stack, &ubig).as_noun()
@ -507,6 +511,17 @@ mod tests {
assert_nary_jet_ubig(stack, jet, &sam, res);
}
fn assert_math_jet_noun(
stack: &mut NockStack,
jet: Jet,
sam: &[fn(&mut NockStack) -> Noun],
res: Noun,
) {
let sam: Vec<Noun> = sam.iter().map(|f| f(stack)).collect();
let sam = T(stack, &sam);
assert_jet(stack, jet, sam, res);
}
fn assert_jet_err(stack: &mut NockStack, jet: Jet, sam: Noun, err: JetErr) {
let sam = T(stack, &[D(0), sam, D(0)]);
let jet_res = jet(stack, sam);
@ -699,4 +714,17 @@ mod tests {
assert_math_jet_err(s, jet_dvr, &[atom_63, atom_0], Deterministic);
}
#[test]
fn test_lth() {
let ref mut s = init();
assert_math_jet_noun(s, jet_lth, &[atom_128, atom_96], NO);
assert_math_jet_noun(s, jet_lth, &[atom_96, atom_63], NO);
assert_math_jet_noun(s, jet_lth, &[atom_63, atom_96], YES);
assert_math_jet_noun(s, jet_lth, &[atom_63, atom_63], NO);
assert_math_jet_noun(s, jet_lth, &[atom_63, atom_24], NO);
assert_math_jet_noun(s, jet_lth, &[atom_128, atom_24], NO);
assert_math_jet_noun(s, jet_lth, &[atom_128, atom_128_b], NO);
assert_math_jet_noun(s, jet_lth, &[atom_128_b, atom_128], YES);
}
}