chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1c39b4b
)
jstest: lower: Note checks we want to make
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 9 Jul 2021 11:05:13 +0000
(12:05 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 9 Jul 2021 11:05:13 +0000
(12:05 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
jstest/jst-lower.rs
patch
|
blob
|
history
diff --git
a/jstest/jst-lower.rs
b/jstest/jst-lower.rs
index 0f0fc2a2b0bf121812f5a31b5a84a3b375d1bb14..a48a6a0fc29da77a6e9f177ec7f18b0869e9a923 100644
(file)
--- a/
jstest/jst-lower.rs
+++ b/
jstest/jst-lower.rs
@@
-70,6
+70,13
@@
impl Test {
let was = updated.insert(id, z);
assert!(was.is_none(), "{:?}", id);
}
+
+ // targets' new z coords are in increasing z coord
+ // no bottom are newly above non-bottom
+ // z coords in updates all decrease
+ // all targets now below all non-bottom non-targets
+ // xxx ^ unimplemented checks
+
dbg!(updated);
}
}