From: Ian Jackson Date: Sat, 10 Jul 2021 10:47:29 +0000 (+0100) Subject: jjstest: lower: formatting of test cases and output X-Git-Tag: otter-0.7.2~180 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c67f3085da58fca5eb9a3e64ff8321bb19af6c7c;p=otter.git jjstest: lower: formatting of test cases and output Signed-off-by: Ian Jackson --- diff --git a/jstest/from-pieces b/jstest/from-pieces index f5507288..690494d8 100755 --- a/jstest/from-pieces +++ b/jstest/from-pieces @@ -20,8 +20,8 @@ my @pieces = map { [ $p->{z}, $p->{zg}, - (sprintf " sp!(\"%s\", %s, %s),%s\n", - $id, + (sprintf " sp!(%7s, %s, %s),%s\n", + "\"$id\"", $p->{pinned} ? 'true' : 'false', $p->{moveable} eq 'IfWresting' ? 'No' : $p->{moveable}, $p->{held} ? " // HELD $p->{held}" : '', diff --git a/jstest/jst-lower.rs b/jstest/jst-lower.rs index 19982753..74a5e7aa 100644 --- a/jstest/jst-lower.rs +++ b/jstest/jst-lower.rs @@ -108,8 +108,8 @@ impl Test { let new = sorted(&|p: &PieceCollated| p.new_z); for (o, n) in izip!(&old, &new).rev() { let pr = |p: &PieceCollated| { - eprint!(" {} {}{}{} ", - p.id, + eprint!(" {:5} {}{}{} ", + p.id.to_string(), if p.target { "T" } else { "_" }, if p.bottom { "B" } else { "_" }, if p.updated { "U" } else { "_" });