From 1a8021c40390bcdce0d7ecbe6af828fc294284a9 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 9 Jul 2021 19:04:36 +0100 Subject: [PATCH] jstest: lower: implement a test Signed-off-by: Ian Jackson --- jstest/jst-lower.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/jstest/jst-lower.rs b/jstest/jst-lower.rs index dabaa677..0dac6a70 100644 --- a/jstest/jst-lower.rs +++ b/jstest/jst-lower.rs @@ -170,6 +170,19 @@ impl Test { } // all targets now below all non-bottom non-targets + { + let mut had_nonbottom_nontarget = None; + for n in &new { + if ! n.bottom && ! n.target { + had_nonbottom_nontarget = Some(n); + } + if n.target { + assert!( had_nonbottom_nontarget.is_none(), + "{:?} {:?}", &n, had_nonbottom_nontarget); + } + } + } + // xxx ^ unimplemented checks } } -- 2.30.2