From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Oct 2020 23:14:43 +0000 (+0100)
Subject: more tests
X-Git-Tag: otter-0.2.0~697
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=02dcdbb375989394d74eb4479458aeba519f42dd;p=otter.git

more tests

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 3418261b..e77d023d 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -521,24 +521,21 @@ mod test {
       ;
     mk("vvvvvvvvvv")
       .tinc("vvvvvvvvvv_0000000000_0001000000")
+      .tdec("vvvvvvvvvv_0000000000_0000000000")
       ;
     mk("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234")
       .tinc("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234_0000000000_0001000000")
       ;
-
-    mk("000000000a")
-      .tinc("000100000a")
-      .tinc("000200000a")
+    mk("0000000000_0000000000_0001012340")
+      .tdec("0000000000_0000000000_0000012340")
+      .tdec("0000000000_0000000000_0000012340_vvvvvvvvvv_vvvuvvvvvv")
       ;
+
     mk("vvvvvvvvvv")
       .tinc("vvvvvvvvvv_0000000000_0001000000")
       ;
     mk("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234")
       .tinc("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234_0000000000_0001000000")
       ;
-    mk("000000000a")
-      .tinc("000100000a")
-      .tinc("000200000a")
-      ;
   }
 }