From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 17 Jul 2021 11:21:38 +0000 (+0100)
Subject: zcoord: Add a test for range carry/borrow edge case
X-Git-Tag: otter-0.7.2~54
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c7b7201bd47d0285818553e547070cc93070227f;p=otter.git

zcoord: Add a test for range carry/borrow edge case

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/base/zcoord.rs b/base/zcoord.rs
index dcb944dc..3c1168a7 100644
--- a/base/zcoord.rs
+++ b/base/zcoord.rs
@@ -955,6 +955,14 @@ mod test {
     it.nxt("3333333334_000000000o");
     assert_eq!(it.i.next(), None);
 
+    let x = bf("aaaaaaaaaa_vvvvvvvvvv").clone_mut();
+    let y = bf("aaaaaaaaab"           ).clone_mut();
+    let i = x.range_upto(&y, 2).unwrap();
+    let mut it = It { i, last: x.repack().unwrap() };
+    it.nxt("aaaaaaaaaa_vvvvvvvvvv_alalalalal");
+    it.nxt("aaaaaaaaaa_vvvvvvvvvv_lalalalala");
+    assert_eq!(it.i.next(), None);
+
     let x = bf("1000000000").clone_mut();
     let y = bf("2000000000").clone_mut();
     let i = x.range_upto(&y, 3).unwrap();