From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Jul 2021 15:24:28 +0000 (+0100)
Subject: zcoord: Test bad ranges
X-Git-Tag: otter-0.7.2~160
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4d50cfbc3c924e6ff104faf56109858698230cc7;p=otter.git

zcoord: Test bad ranges

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

diff --git a/base/zcoord.rs b/base/zcoord.rs
index dbf37491..c9b77b9e 100644
--- a/base/zcoord.rs
+++ b/base/zcoord.rs
@@ -889,6 +889,16 @@ mod test {
     mk("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234")
       .tinc("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234_0000000000_0001000000")
       ;
+
+    assert_eq!( Mutable::some_range(Some(&mk("0200000000")),
+                                    Some(&mk("0100000000")),
+                                    1).unwrap_err(),
+                LogicError::from(RangeImpossible::Backwards) );
+
+    assert_eq!( Mutable::some_range(Some(&mk("0200000000")),
+                                    Some(&mk("0200000000")),
+                                    1).unwrap_err(),
+                LogicError::from(RangeImpossible::Empty) );
   }
 
   #[test]