lean4-htt/tests/docparse
Garmelon 6b7f0ad5fc
chore: check test output before exit code in piles (#12947)
This improves the feedback when tests fail. Getting a diff is more
useful than a vague exit code.
2026-03-17 16:34:21 +00:00
..
.gitattributes
arg_0001.txt
arg_0001.txt.out.expected
arg_0002.txt
arg_0002.txt.out.expected
arg_0003.txt
arg_0003.txt.out.expected
arg_0004.txt
arg_0004.txt.out.expected
arg_0005.txt
arg_0005.txt.out.expected
arg_0006.txt
arg_0006.txt.out.expected
arg_0007.txt
arg_0007.txt.out.expected
arg_0008.txt
arg_0008.txt.out.expected
arg_0009.txt
arg_0009.txt.out.expected
arg_0010.txt
arg_0010.txt.out.expected
arg_0011.txt
arg_0011.txt.out.expected
arg_0012.txt
arg_0012.txt.out.expected
arg_0013.txt
arg_0013.txt.out.expected
arg_0014.txt
arg_0014.txt.out.expected
arg_0015.txt
arg_0015.txt.out.expected
arg_0016.txt
arg_0016.txt.out.expected
arg_0017.txt
arg_0017.txt.out.expected
arg_0018.txt
arg_0018.txt.out.expected
arg_val_0001.txt
arg_val_0001.txt.out.expected
arg_val_0002.txt
arg_val_0002.txt.out.expected
arg_val_0003.txt
arg_val_0003.txt.out.expected
arg_val_0004.txt
arg_val_0004.txt.out.expected
arg_val_0005.txt
arg_val_0005.txt.out.expected
arg_val_0006.txt
arg_val_0006.txt.out.expected
arg_val_0007.txt
arg_val_0007.txt.out.expected
args_0001.txt
args_0001.txt.out.expected
args_0002.txt
args_0002.txt.out.expected
args_0003.txt
args_0003.txt.out.expected
block_0001.txt
block_0001.txt.out.expected
block_0002.txt
block_0002.txt.out.expected
block_0003.txt
block_0003.txt.out.expected
block_0004.txt
block_0004.txt.out.expected
block_0005.txt
block_0005.txt.out.expected
block_0006.txt
block_0006.txt.out.expected
block_0007.txt
block_0007.txt.out.expected
block_0008.txt
block_0008.txt.out.expected
block_0009.txt
block_0009.txt.out.expected
block_0010.txt
block_0010.txt.out.expected
block_0011.txt
block_0011.txt.out.expected
block_0012.txt
block_0012.txt.out.expected
blockOpener_0001.txt
blockOpener_0001.txt.out.expected
blockOpener_0002.txt
blockOpener_0002.txt.out.expected
blockOpener_0003.txt
blockOpener_0003.txt.out.expected
blocks_0001.txt
blocks_0001.txt.out.expected
blocks_0002.txt
blocks_0002.txt.out.expected
blocks_0003.txt
blocks_0003.txt.out.expected
blocks_0004.txt
blocks_0004.txt.out.expected
blocks_0005.txt
blocks_0005.txt.out.expected
blocks_0006.txt
blocks_0006.txt.out.expected
blocks_0007.txt
blocks_0007.txt.out.expected
blocks_0008.txt
blocks_0008.txt.out.expected
blocks_0009.txt
blocks_0009.txt.out.expected
blocks_0010.txt
blocks_0010.txt.out.expected
blocks_0011.txt
blocks_0011.txt.out.expected
blocks_0012.txt
blocks_0012.txt.out.expected
blocks_0013.txt
blocks_0013.txt.out.expected
blocks_0014.txt
blocks_0014.txt.out.expected
blocks_0015.txt
blocks_0015.txt.out.expected
blocks_0016.txt
blocks_0016.txt.out.expected
blocks_0017.txt
blocks_0017.txt.out.expected
blocks_0018.txt
blocks_0018.txt.out.expected
blocks_0019.txt
blocks_0019.txt.out.expected
blocks_0020.txt
blocks_0020.txt.out.expected
blocks_0021.txt
blocks_0021.txt.out.expected
blocks_0022.txt
blocks_0022.txt.out.expected
blocks_0023.txt
blocks_0023.txt.out.expected
blocks_0024.txt
blocks_0024.txt.out.expected
blocks_0025.txt
blocks_0025.txt.out.expected
blocks_0026.txt
blocks_0026.txt.out.expected
blocks_0027.txt
blocks_0027.txt.out.expected
blocks_0028.txt
blocks_0028.txt.out.expected
blocks_0029.txt
blocks_0029.txt.out.expected
blocks_0030.txt
blocks_0030.txt.out.expected
blocks_0031.txt
blocks_0031.txt.out.expected
blocks_0032.txt
blocks_0032.txt.out.expected
blocks_0033.txt
blocks_0033.txt.out.expected
blocks_0034.txt
blocks_0034.txt.out.expected
blocks_0035.txt
blocks_0035.txt.out.expected
blocks_0036.txt
blocks_0036.txt.out.expected
blocks_0037.txt
blocks_0037.txt.out.expected
blocks_0038.txt
blocks_0038.txt.out.expected
blocks_0039.txt
blocks_0039.txt.out.expected
blocks_0040.txt
blocks_0040.txt.out.expected
blocks_0041.txt
blocks_0041.txt.out.expected
blocks_0042.txt
blocks_0042.txt.out.expected
blocks_0043.txt
blocks_0043.txt.out.expected
blocks_0044.txt
blocks_0044.txt.out.expected
blocks_0045.txt
blocks_0045.txt.out.expected
blocks_0046.txt
blocks_0046.txt.out.expected
blocks_0047.txt
blocks_0047.txt.out.expected
blocks_0048.txt
blocks_0048.txt.out.expected
blocks_0049.txt
blocks_0049.txt.out.expected
blocks_0050.txt
blocks_0050.txt.out.expected
blocks_0051.txt
blocks_0051.txt.out.expected
blocks_0052.txt
blocks_0052.txt.out.expected
blocks_0053.txt
blocks_0053.txt.out.expected
blocks_0054.txt
blocks_0054.txt.out.expected
code_0001.txt
code_0001.txt.out.expected
code_0002.txt
code_0002.txt.out.expected
code_0003.txt
code_0003.txt.out.expected
code_0004.txt
code_0004.txt.out.expected
code_0005.txt
code_0005.txt.out.expected
code_0006.txt
code_0006.txt.out.expected
code_0007.txt
code_0007.txt.out.expected
code_0008.txt
code_0008.txt.out.expected
code_0009.txt
code_0009.txt.out.expected
code_0010.txt
code_0010.txt.out.expected
code_0011.txt
code_0011.txt.out.expected
codeBlock_0001.txt
codeBlock_0001.txt.out.expected
codeBlock_0002.txt
codeBlock_0002.txt.out.expected
codeBlock_0003.txt
codeBlock_0003.txt.out.expected
codeBlock_0004.txt
codeBlock_0004.txt.out.expected
codeBlock_0005.txt
codeBlock_0005.txt.out.expected
codeBlock_0006.txt
codeBlock_0006.txt.out.expected
codeBlock_0007.txt
codeBlock_0007.txt.out.expected
codeBlock_0008.txt
codeBlock_0008.txt.out.expected
codeBlock_0009.txt
codeBlock_0009.txt.out.expected
codeBlock_0010.txt
codeBlock_0010.txt.out.expected
codeBlock_0011.txt
codeBlock_0011.txt.out.expected
codeBlock_0012.txt
codeBlock_0012.txt.out.expected
codeBlock_0013.txt
codeBlock_0013.txt.out.expected
codeBlock_0014.txt
codeBlock_0014.txt.out.expected
directive_0001.txt
directive_0001.txt.out.expected
directive_0002.txt
directive_0002.txt.out.expected
directive_0003.txt
directive_0003.txt.out.expected
directive_0004.txt
directive_0004.txt.out.expected
directive_0005.txt
directive_0005.txt.out.expected
directive_0006.txt
directive_0006.txt.out.expected
document_0001.txt
document_0001.txt.out.expected
emph_0001.txt
emph_0001.txt.out.expected
emph_0002.txt
emph_0002.txt.out.expected
emph_0003.txt
emph_0003.txt.out.expected
header_0001.txt
header_0001.txt.out.expected
inlineTextChar_0001.txt
inlineTextChar_0001.txt.out.expected
inlineTextChar_0002.txt
inlineTextChar_0002.txt.out.expected
inlineTextChar_0003.txt
inlineTextChar_0003.txt.out.expected
inlineTextChar_0004.txt
inlineTextChar_0004.txt.out.expected
inlineTextChar_0005.txt
inlineTextChar_0005.txt.out.expected
lookaheadOrderedListIndicator_0001.txt
lookaheadOrderedListIndicator_0001.txt.out.expected
lookaheadOrderedListIndicator_0002.txt
lookaheadOrderedListIndicator_0002.txt.out.expected
lookaheadOrderedListIndicator_0003.txt
lookaheadOrderedListIndicator_0003.txt.out.expected
lookaheadOrderedListIndicator_0004.txt
lookaheadOrderedListIndicator_0004.txt.out.expected
lookaheadOrderedListIndicator_0005.txt
lookaheadOrderedListIndicator_0005.txt.out.expected
lookaheadOrderedListIndicator_0006.txt
lookaheadOrderedListIndicator_0006.txt.out.expected
lookaheadOrderedListIndicator_0007.txt
lookaheadOrderedListIndicator_0007.txt.out.expected
lookaheadUnorderedListIndicator_0001.txt
lookaheadUnorderedListIndicator_0001.txt.out.expected
lookaheadUnorderedListIndicator_0002.txt
lookaheadUnorderedListIndicator_0002.txt.out.expected
lookaheadUnorderedListIndicator_0003.txt
lookaheadUnorderedListIndicator_0003.txt.out.expected
lookaheadUnorderedListIndicator_0004.txt
lookaheadUnorderedListIndicator_0004.txt.out.expected
lookaheadUnorderedListIndicator_0005.txt
lookaheadUnorderedListIndicator_0005.txt.out.expected
lookaheadUnorderedListIndicator_0006.txt
lookaheadUnorderedListIndicator_0006.txt.out.expected
manyInlineTextChar_0001.txt
manyInlineTextChar_0001.txt.out.expected
manyInlineTextChar_0002.txt
manyInlineTextChar_0002.txt.out.expected
manyInlineTextChar_0003.txt
manyInlineTextChar_0003.txt.out.expected
metadataBlock_0001.txt
metadataBlock_0001.txt.out.expected
metadataBlock_0002.txt
metadataBlock_0002.txt.out.expected
metadataBlock_0003.txt
metadataBlock_0003.txt.out.expected
nameAndArgs_0001.txt
nameAndArgs_0001.txt.out.expected
nameAndArgs_0002.txt
nameAndArgs_0002.txt.out.expected
nameAndArgs_0003.txt
nameAndArgs_0003.txt.out.expected
nameAndArgs_0004.txt
nameAndArgs_0004.txt.out.expected
nameAndArgs_0005.txt
nameAndArgs_0005.txt.out.expected
nameAndArgs_0006.txt
nameAndArgs_0006.txt.out.expected
nameAndArgs_0007.txt
nameAndArgs_0007.txt.out.expected
nameAndArgs_0008.txt
nameAndArgs_0008.txt.out.expected
nameAndArgs_0009.txt
nameAndArgs_0009.txt.out.expected
nameAndArgs_0010.txt
nameAndArgs_0010.txt.out.expected
oneInline_0001.txt
oneInline_0001.txt.out.expected
oneInline_0002.txt
oneInline_0002.txt.out.expected
oneInline_0003.txt
oneInline_0003.txt.out.expected
oneInline_0004.txt
oneInline_0004.txt.out.expected
oneInline_0005.txt
oneInline_0005.txt.out.expected
oneInline_0006.txt
oneInline_0006.txt.out.expected
oneInline_0007.txt
oneInline_0007.txt.out.expected
oneInline_0008.txt
oneInline_0008.txt.out.expected
oneInline_0009.txt
oneInline_0009.txt.out.expected
oneInline_0010.txt
oneInline_0010.txt.out.expected
oneInline_0011.txt
oneInline_0011.txt.out.expected
oneInline_0012.txt
oneInline_0012.txt.out.expected
oneInline_0013.txt
oneInline_0013.txt.out.expected
oneInline_0014.txt
oneInline_0014.txt.out.expected
oneInline_0015.txt
oneInline_0015.txt.out.expected
oneInline_0016.txt
oneInline_0016.txt.out.expected
oneInline_0017.txt
oneInline_0017.txt.out.expected
oneInline_0018.txt
oneInline_0018.txt.out.expected
oneInline_0019.txt
oneInline_0019.txt.out.expected
oneInline_0020.txt
oneInline_0020.txt.out.expected
oneInline_0021.txt
oneInline_0021.txt.out.expected
oneInline_0022.txt
oneInline_0022.txt.out.expected
recoverBlock_0001.txt
recoverBlock_0001.txt.out.expected
recoverBlocks_0001.txt
recoverBlocks_0001.txt.out.expected
role_0001.txt
role_0001.txt.out.expected
role_0002.txt
role_0002.txt.out.expected
role_0003.txt
role_0003.txt.out.expected
role_0004.txt
role_0004.txt.out.expected
role_0005.txt
role_0005.txt.out.expected
run_test.lean
run_test.sh chore: check test output before exit code in piles (#12947) 2026-03-17 16:34:21 +00:00
text_0001.txt
text_0001.txt.out.expected