diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2026-01-02 15:10:48 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2026-01-02 15:10:48 -0500 |
| commit | 9653a7c2e53e2bc5e8f146a7d9ea1e71eed19e08 (patch) | |
| tree | 7f026a142b4f8efcdbf517cc58adc97eb3b37cd5 /test/integers.tm | |
| parent | e4d5bf73e4ad9dc51f923a32903011edfeae2908 (diff) | |
| parent | ce49f93da58d007c0a52ee82e2421adfe06012f9 (diff) | |
Merge branch 'dev' into constructive-reals
Diffstat (limited to 'test/integers.tm')
| -rw-r--r-- | test/integers.tm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/integers.tm b/test/integers.tm index 67175f7a..2d07beda 100644 --- a/test/integers.tm +++ b/test/integers.tm @@ -94,6 +94,7 @@ func main() assert (3).is_between(1, 5) == yes assert (3).is_between(1, 3) == yes + assert (3).is_between(5, 1) == yes assert (3).is_between(100, 200) == no assert (6).get_bit(1) == no |