From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Jul 2021 19:19:55 +0000 (+0100)
Subject: jst-lower: Test cawe from a recent game where we experienced bug
X-Git-Tag: otter-0.7.2~41
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=3bbf65bea086cd2600b5976af4a5db801b985064;p=otter.git

jst-lower: Test cawe from a recent game where we experienced bug

This used to produce
  Z coordinate range has end equal to start, cannot iterate
but it was fixed in
  zcoord: Fix some more edge case bugs in range algorithm
  6d84e4c7dda0bc89ad229de5a03b3b50e551506f

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

diff --git a/jstest/jst-lower.rs b/jstest/jst-lower.rs
index 621c2991..bc7fd365 100644
--- a/jstest/jst-lower.rs
+++ b/jstest/jst-lower.rs
@@ -429,6 +429,23 @@ fn main() {
     "73.7",
   ])?;
 
+  ta.add_test("found-2021-07-15-lowers", vec![
+    sp!( "87.11", false, No ,  "g1ea000000"           ,  38558 ), 
+    sp!( "59.11", false, No ,  "g1ea000000_0000001000",  39858 ), 
+    sp!( "64.11", false, No ,  "g1ea000000_0000002000",  39859 ), 
+    sp!( "23.11", false, Yes,  "g1ea000000_0000002001",  46890 ), 
+    sp!( "96.11", false, Yes,  "g1ea000000_0000002002",  46846 ), 
+    sp!(  "8.11", false, Yes,  "g1ea000000_0000002040",  45196 ), 
+    sp!( "46.11", false, No ,  "g1eb000000"           ,  38559 ), 
+    sp!( "66.11", false, No ,  "g1ed000000"           ,  38561 ), 
+    sp!( "47.11", false, Yes,  "g1ee000000_0000004000",  47077 ), 
+    sp!( "11.11", false, Yes,  "g1ee000000_000000c000",  49354 ), 
+    sp!("112.11", false, Yes,  "g1qi000000"           ,  49288 ), 
+    sp!( "77.11", false, Yes,  "g1ql000000"           ,  49436 ), // HELD 1#1
+  ], vec![
+    "77.11",
+  ])?;
+
   ta.add_exhaustive(5)?;
   
   let tests = ta.finalise()?;