Skip to content

Commit

Permalink
doesn't work, restore original run_test.sh and issue129.expected
Browse files Browse the repository at this point in the history
  • Loading branch information
GinoGiotto committed Nov 3, 2023
1 parent 5abdc38 commit c6b8b97
Show file tree
Hide file tree
Showing 2 changed files with 28 additions and 28 deletions.
52 changes: 26 additions & 26 deletions tests/issue129.expected
Original file line number Diff line number Diff line change
Expand Up @@ -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}
4 changes: 2 additions & 2 deletions tests/run_test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit c6b8b97

Please sign in to comment.