From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Jul 2021 19:42:33 +0000 (+0100)
Subject: zcoord: Add a test for range carry/borrow
X-Git-Tag: otter-0.7.2~56
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c644abc00a1890de4d5d1b2fb3df7ec10368da11;p=otter.git

zcoord: Add a test for range carry/borrow

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

diff --git a/base/zcoord.rs b/base/zcoord.rs
index 0b3deac5..3f494126 100644
--- a/base/zcoord.rs
+++ b/base/zcoord.rs
@@ -939,6 +939,16 @@ mod test {
     it.nxt("3333333334_0000000030");
     assert_eq!(it.i.next(), None);
 
+    let x = bf("3333333333_vvvvvvvvo0").clone_mut();
+    let y = bf("3333333334_0000000030").clone_mut();
+    let i = x.range_upto(&y, 4).unwrap();
+    let mut it = It { i, last: x.repack().unwrap() };
+    it.nxt("3333333333_vvvvvvvvq6");
+    it.nxt("3333333333_vvvvvvvvsc");
+    it.nxt("3333333333_vvvvvvvvui");
+    it.nxt("3333333334_000000000o");
+    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();