Fix for possible silent failures in test suite (#959)

This PR fixes an issue whereby we could experience silent failures in
the lit test suite when mismatches occur between command outputs being
compared with `diff`; this was caused by a deficiency in the `one_line`
function in our lit configuration that meant only the _last_ command
executed could cause the test to fail.

Fortunately, no actual regressions were caused by this issue. Several
tests had slightly malformed output that could be fixed by hand
(newlines, extra spaces), and two tests (31, 32) experienced a
regression due to their reliance on non-zero exit codes. This regression
is fixed by adding a check that the `--binary-output` mode does not
print any messages; the actual behaviour of this line is checked by the
conversion on the subsequent line.

I have verified that the fix in this PR addresses the case where I first
reproduced this issue, and that there are no more silent failures in the
fully-verbose output from the test suite.

test/lit.cfg.py

@@ -68,7 +68,7 @@ def llvm_major_version():
 # multiline substitutions natively. This function sanitizes them so that we can
 # use them cross-platform while retaining nice source code.
 def one_line(s):
-    return s.strip() \
+    return 'set -e; ' + s.strip() \
         .replace('\n', ' ; ') \
         .replace('do ;', 'do') \
         .replace('then ;', 'then') \
@@ -113,7 +113,7 @@ def one_line(s):
     ('%check-diff', one_line('''
         %run | diff - %test-diff-out
         %run-binary | diff - %test-diff-out
-        %run-binary-out
+        %run-binary-out | diff - <(echo -n)
         %kore-convert %t.out.bin -o %t.out.kore
         %kore-convert %test-diff-out --to=text | diff - %t.out.kore
     ''')),

test/output/strip_injection.out.diff

@@ -1 +1 @@
-Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortString{}, SortKItem{}}(\dv{SortString{}}("abc")),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))
+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortString{}, SortKItem{}}(\dv{SortString{}}("abc")),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))

test/output/test10.out.diff

@@ -1 +1 @@
-Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortNEInts{}, SortKItem{}}(Lbl'UndsCommUndsUnds'TEST'Unds'NEInts'Unds'Int'Unds'NEInts{}(\dv{SortInt{}}("1"),Lbl'Stop'List'LBraQuotUndsCommUndsUnds'TEST'Unds'NEInts'Unds'Int'Unds'NEInts'QuotRBraUnds'NEInts{}())),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))
+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortNEInts{}, SortKItem{}}(Lbl'UndsCommUndsUnds'TEST'Unds'NEInts'Unds'Int'Unds'NEInts{}(\dv{SortInt{}}("1"),Lbl'Stop'List'LBraQuotUndsCommUndsUnds'TEST'Unds'NEInts'Unds'Int'Unds'NEInts'QuotRBraUnds'NEInts{}())),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))

test/output/test24.out.diff

@@ -1 +1 @@
-Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortFoo{}, SortKItem{}}(Lblfoo'LParUndsRParUnds'TEST'Unds'Foo'Unds'K{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("4")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("5")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("6")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("7")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("8")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("9")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("10")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("11")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("12")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("13")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("14")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("13")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("13")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("14")),dotk{}())))))))))))))))))),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))
+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortFoo{}, SortKItem{}}(Lblfoo'LParUndsRParUnds'TEST'Unds'Foo'Unds'K{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("4")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("5")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("6")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("7")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("8")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("9")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("10")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("11")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("12")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("13")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("14")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("13")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("13")),kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("14")),dotk{}())))))))))))))))))),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))

test/output/test4.out.diff

@@ -1 +1 @@
-Lbl'-LT-'k'-GT-'{}(kseq{}(Lblbaz{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(dotk{}(),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("0")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("4")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("0"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("4")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")))))),dotk{}())))))))))))), dotk{}()))
+Lbl'-LT-'k'-GT-'{}(kseq{}(Lblbaz{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(dotk{}(),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("0")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("4")),dotk{}()),Lbl'Stop'List{}()),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("0"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("1"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2"))),LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")))))),kseq{}(Lblbar'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'K'Unds'List{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("4")),dotk{}()),\left-assoc{}(Lbl'Unds'List'Unds'{}(LblListItem{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("2")))))),dotk{}())))))))))))),dotk{}()))

test/output/test5.out.diff

@@ -1 +1 @@
-Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(Lblbar{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("0"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("1"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("2"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("2"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("2"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("3"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("4"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("5"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("5"),\left-assoc{}(Lbl'Unds'Map'Unds'{}(Lbl'UndsPipe'-'-GT-Unds'{}(Lblval{}(\dv{SortInt{}}("0"),\dv{SortInt{}}("0")),inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")))))),dotk{}()))))))))), dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))
+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(Lblbar{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("0"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("1"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("2"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("2"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("2"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("3"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("4"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("5"),Lbl'Stop'Map{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Map{}(\dv{SortInt{}}("5"),\left-assoc{}(Lbl'Unds'Map'Unds'{}(Lbl'UndsPipe'-'-GT-Unds'{}(Lblval{}(\dv{SortInt{}}("0"),\dv{SortInt{}}("0")),inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("3")))))),dotk{}()))))))))),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))

test/output/test6.out.diff

@@ -1 +1 @@
-Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(Lblbar{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("0"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("1"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("6"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("6"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("2"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("3"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("4"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("4"),\left-assoc{}(Lbl'Unds'Set'Unds'{}(LblSetItem{}(Lblval{}(\dv{SortInt{}}("0"),\dv{SortInt{}}("0")))))),dotk{}())))))))),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))
+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(Lblbar{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("0"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("1"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("6"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("6"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("2"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("3"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("4"),Lbl'Stop'Set{}()),kseq{}(Lbldone'LParUndsCommUndsRParUnds'TEST'Unds'KItem'Unds'Int'Unds'Set{}(\dv{SortInt{}}("4"),\left-assoc{}(Lbl'Unds'Set'Unds'{}(LblSetItem{}(Lblval{}(\dv{SortInt{}}("0"),\dv{SortInt{}}("0")))))),dotk{}())))))))),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))