Add test case for issue #1217

This commit is contained in:
Calvin Rose 2023-07-09 21:56:41 -05:00
parent b5d3c87253
commit 3b6371e03d
1 changed files with 3 additions and 0 deletions

View File

@ -281,4 +281,7 @@
(assert (= (int/s64 "0x7FFF_FFFF_FFFF_FFFF")
(- (int/s64 "-0x8000_0000_0000_0000") 1)) "int types wrap around")
# Issue #1217
(assert (= (- (int/u64 "0xFFFFFFFF") 1) (int/u64 "0xFFFFFFFE")) "u64 subtract")
(end-suite)