chiark
/
gitweb
/
~ian
/
z3-treefoil
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8a44d2e
)
check current point
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 21:34:25 +0000
(22:34 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 21:34:25 +0000
(22:34 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/lib.rs
patch
|
blob
|
history
diff --git
a/src/lib.rs
b/src/lib.rs
index 1a1620511a37eab148b1f24f287ebc1b0fa37495..f01a3fa72b4c77808bb483cc96bfd3595c3d2852 100644
(file)
--- 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
})