diff --git a/rust/ares/src/jets_math.rs b/rust/ares/src/jets_math.rs index b0ec79b..10616db 100644 --- a/rust/ares/src/jets_math.rs +++ b/rust/ares/src/jets_math.rs @@ -753,4 +753,17 @@ mod tests { assert_math_jet_noun(s, jet_gth, &[atom_128, atom_128_b], YES); assert_math_jet_noun(s, jet_gth, &[atom_128_b, atom_128], NO); } + + #[test] + fn test_gte() { + let ref mut s = init(); + assert_math_jet_noun(s, jet_gte, &[atom_128, atom_96], YES); + assert_math_jet_noun(s, jet_gte, &[atom_96, atom_63], YES); + assert_math_jet_noun(s, jet_gte, &[atom_63, atom_96], NO); + assert_math_jet_noun(s, jet_gte, &[atom_63, atom_63], YES); + assert_math_jet_noun(s, jet_gte, &[atom_63, atom_24], YES); + assert_math_jet_noun(s, jet_gte, &[atom_128, atom_24], YES); + assert_math_jet_noun(s, jet_gte, &[atom_128, atom_128_b], YES); + assert_math_jet_noun(s, jet_gte, &[atom_128_b, atom_128], NO); + } }