From c6b8b970e21434473842cba3ad998f3578a0beb5 Mon Sep 17 00:00:00 2001 From: Gino Giotto Date: Fri, 3 Nov 2023 21:45:48 +0100 Subject: [PATCH] doesn't work, restore original run_test.sh and issue129.expected --- tests/issue129.expected | 52 ++++++++++++++++++++--------------------- tests/run_test.sh | 4 ++-- 2 files changed, 28 insertions(+), 28 deletions(-) diff --git a/tests/issue129.expected b/tests/issue129.expected index a48bd55e..1e109f83 100644 --- a/tests/issue129.expected +++ b/tests/issue129.expected @@ -13,32 +13,32 @@ The LaTeX source was written to "issue129.tex". MM> The LaTeX output file "issue129.tex" has been closed. MM> Entering the Text Tools utilities. Type HELP for help, EXIT to exit. TOOLS> The input had 28 lines, the output has 27 lines. First output line: -\\documentclass{article} +\documentclass{article} TOOLS> Exiting the Text Tools. Type EXIT again to exit Metamath. -MM> \\documentclass{article} -\\usepackage{amssymb} % amssymb must be loaded before phonetic -\\usepackage{phonetic} % for \\riota -\\usepackage{mathrsfs} % for \\mathscr -\\usepackage{mathtools} % loads package amsmath -\\usepackage{amsthm} % amsthm must be loaded after amsmath -\\usepackage{accents} % accents should be loaded after mathtools -\\theoremstyle{plain} -\\newtheorem{theorem}{Theorem}[section] -\\newtheorem{definition}[theorem]{Definition} -\\newtheorem{lemma}[theorem]{Lemma} -\\newtheorem{axiom}{Axiom} -\\allowdisplaybreaks[1] % Allow page breaks in {align} -\\usepackage[plainpages=false,pdfpagelabels]{hyperref} -\\hypersetup{colorlinks} % Get rid of boxes around links -\\begin{document} +MM> \documentclass{article} +\usepackage{amssymb} % amssymb must be loaded before phonetic +\usepackage{phonetic} % for \riota +\usepackage{mathrsfs} % for \mathscr +\usepackage{mathtools} % loads package amsmath +\usepackage{amsthm} % amsthm must be loaded after amsmath +\usepackage{accents} % accents should be loaded after mathtools +\theoremstyle{plain} +\newtheorem{theorem}{Theorem}[section] +\newtheorem{definition}[theorem]{Definition} +\newtheorem{lemma}[theorem]{Lemma} +\newtheorem{axiom}{Axiom} +\allowdisplaybreaks[1] % Allow page breaks in {align} +\usepackage[plainpages=false,pdfpagelabels]{hyperref} +\hypersetup{colorlinks} % Get rid of boxes around links +\begin{document} -\\begin{proof} -\\begin{align} - 1 && & \\text{ A A A A A A A A A A } \\text{ A A A A A A A A A A } - \\notag \\\\ && & \qquad \\text{ A A A A A A A A A A } - \\notag \\\\ && & \qquad \\text{ A A A A A A A A A A } -\\text{ A A A A A A A A A A }&(\\mbox{\\ref{eq:ax-1}})\\notag -\\end{align} -\\end{proof} +\begin{proof} +\begin{align} + 1 && & \text{ A A A A A A A A A A } \text{ A A A A A A A A A A } + \notag \\ && & \qquad \text{ A A A A A A A A A A } + \notag \\ && & \qquad \text{ A A A A A A A A A A } +\text{ A A A A A A A A A A }&(\mbox{\ref{eq:ax-1}})\notag +\end{align} +\end{proof} -\\end{document} +\end{document} diff --git a/tests/run_test.sh b/tests/run_test.sh index aa413ad3..052782f1 100755 --- a/tests/run_test.sh +++ b/tests/run_test.sh @@ -97,7 +97,7 @@ for test in "$@"; do echo "${red}failed${off} (exit code = $result_code)"; exit_code=1 if [ "$outfile" != "/dev/null" ]; then echo "---------------------------------------" - printf '%s' "$test.produced" + cat "$test.produced" echo "---------------------------------------\n" fi continue @@ -130,7 +130,7 @@ for test in "$@"; do echo "$test.expected missing, $test.produced:" fi echo -n "---------------------------------------\n${green}" - printf '%s' "$test.produced" + cat "$test.produced" echo "${off}---------------------------------------\n" # call diff and put the diff output in $diff_result elif diff_result=$(diff "$test.expected" "$outfile" --color=always); then