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 621c2991a144c78650e16a54936c5dbe23fa8268..bc7fd365f704b4103f43752445f71221cd0510df 100644 (file)
--- 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()?;