From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 12:54:37 +0000 (+0000)
Subject: zcoord: add an overflow test
X-Git-Tag: otter-0.2.0~438
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4b3482741cf3abfe49c19caf4d7842e77fc24c3f;p=otter.git

zcoord: add an overflow test

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 12b926a2..301782e3 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -789,6 +789,7 @@ mod test {
       assert_eq!( &format!("{:?}", &l), &dbg );
     }
     chk(0x42, "0000000022");
+    chk(0x42 + RAW_LIMB_MODULUS * 0x33, "0x33!0000000022");
   }
 
   #[test]