From f54f5171ae8fbbb869c6164338c8757de10c9d74 Mon Sep 17 00:00:00 2001 From: Philip Monk Date: Tue, 14 Feb 2023 15:55:10 -0700 Subject: [PATCH] [jets] add lte test --- rust/ares/src/jets_math.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/rust/ares/src/jets_math.rs b/rust/ares/src/jets_math.rs index af8b3fd..f4e2bad 100644 --- a/rust/ares/src/jets_math.rs +++ b/rust/ares/src/jets_math.rs @@ -727,4 +727,17 @@ mod tests { 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); } + + #[test] + fn test_lte() { + let ref mut s = init(); + assert_math_jet_noun(s, jet_lte, &[atom_128, atom_96], NO); + assert_math_jet_noun(s, jet_lte, &[atom_96, atom_63], NO); + assert_math_jet_noun(s, jet_lte, &[atom_63, atom_96], YES); + assert_math_jet_noun(s, jet_lte, &[atom_63, atom_63], YES); + assert_math_jet_noun(s, jet_lte, &[atom_63, atom_24], NO); + assert_math_jet_noun(s, jet_lte, &[atom_128, atom_24], NO); + assert_math_jet_noun(s, jet_lte, &[atom_128, atom_128_b], NO); + assert_math_jet_noun(s, jet_lte, &[atom_128_b, atom_128], YES); + } }