From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Oct 2020 23:03:16 +0000 (+0100)
Subject: prep for dec tests
X-Git-Tag: otter-0.2.0~700
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a7cc5a6aae8532507264f7028b080ea7d3db4d52;p=otter.git

prep for dec tests

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 3fc7a0f0..a5871db6 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -503,11 +503,13 @@ mod test {
   fn addition() {
     fn mk(s: &str) -> super::Mutable { bf(s).clone_mut() }
     impl Mutable {
-      fn tinc(mut self, exp: &str) -> Self {
-        let got = self.increment().unwrap();
+      fn tincdec(mut self, exp: &str, id: IncDecOffset) -> Self {
+        let got = self.incdec(id).unwrap();
         assert_eq!(got.to_string(), exp);
         self
       }
+      fn tinc(mut self, exp: &str) -> Self { self.tincdec(exp, IncDecInc) }
+      fn tdec(mut self, exp: &str) -> Self { self.tincdec(exp, IncDecDec) }
     }
     mk("000000000a")
       .tinc("000100000a")
@@ -519,5 +521,20 @@ mod test {
     mk("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234")
       .tinc("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234_0000000000_0001000000")
       ;
+
+    mk("000000000a")
+      .tinc("000100000a")
+      .tinc("000200000a")
+      ;
+    mk("vvvvvvvvvv")
+      .tinc("vvvvvvvvvv_0000000000_0001000000")
+      ;
+    mk("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234")
+      .tinc("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234_0000000000_0001000000")
+      ;
+    mk("000000000a")
+      .tinc("000100000a")
+      .tinc("000200000a")
+      ;
   }
 }