From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 21:34:25 +0000 (+0100)
Subject: check current point
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=ad21082654d24b33f8ee294276336ecc19b89444;p=z3-treefoil

check current point

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

diff --git a/src/lib.rs b/src/lib.rs
index 1a16205..f01a3fa 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -27,6 +27,7 @@ pub fn read_vertices() -> impl Iterator<Item=Shape> {
       current[i] += d;
       current
     }).collect_vec();
+    assert_eq!(current, Point::default());
     shape_abut_zero(&mut points);
     points
   })