mirror of
https://github.com/kuhyx/WUT_Computer_Science.git
synced 2026-11-10 20:47:09 +01:00
Krzysztof kuhy Rudnicki
ffa5dad02a
The 250-line cap applies to prose too, and the reports were the worst
offenders -- ENUME's projectA.tex alone was 1,876 lines. Each is now a
preamble plus one \input{} per section, which is how a long LaTeX document is
normally organised; not one byte of prose was rewritten.
"The PDF is unchanged" is checked by a script rather than by eye, because
hashing the PDF cannot work: pdflatex stamps a /CreationDate and an /ID into
every build, so two runs of the SAME source already differ. tex_fingerprint.sh
compares what a reader sees instead -- page count plus a hash of the extracted
text -- and it is stable across rebuilds of untouched sources, which is the
property that makes it usable as a gate.
It earned its keep immediately. Both ECOTE reports quote an example LaTeX
document inside an lstlisting block, so \end{document} appears in the middle
of the file; splitting on the FIRST one stranded everything after it. Same
page count, different text, caught automatically. EOPSY lab3 exposed a second
bug: a \section{} title that runs onto the next line.
Result: 19 .tex over the cap -> 1. The survivor,
ELAC/.../03-building-nfa-...tex, is 418 lines of consecutive tikz figures
with no subsection to split on and needs a hand-placed boundary.
Verified: 29 splits across two passes (section, then subsection for the
pieces still over), every one reporting `unchanged` from
scripts/tex_fingerprint.sh --check.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0172dj34FDpao6wsix8ZuCzE
203 lines
3.7 KiB
TeX
203 lines
3.7 KiB
TeX
\section{Functional test cases}
|
|
|
|
\begin{tabular}{|p{3cm}|p{6cm}|p{6cm}|}
|
|
\hline
|
|
Title & Input (\LaTeX) & Output \\
|
|
\hline
|
|
|
|
empty file &
|
|
\begin{lstlisting}
|
|
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! expected \documentclass at the begining of LaTeX file
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
Document class &
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! expected \begin{document} after document class
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Extra text between document class and begin document
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
"extra text"
|
|
\begin{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! unexpected text between document class and begin document
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Just document class and begin document
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! no \end{document} at the end of LaTeX code
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\end{tabular}
|
|
|
|
\begin{tabular}{|p{3cm}|p{6cm}|p{6cm}|}
|
|
\hline
|
|
Title & Input (\LaTeX) & Output \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Just document class and begin/end document
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
<html>
|
|
</html>
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Plain text inside
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
Lorem ipsum dolor sit amet.
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
<html>
|
|
Lorem ipsum dolor sit amet.
|
|
</html>
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Reduntant \end{document} (ignored)
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
Lorem ipsum dolor sit amet.
|
|
\end{document}
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
<html>
|
|
Lorem ipsum dolor sit amet.
|
|
</html>
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
LaTeX comments
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
Lorem ipsum dolor sit amet.
|
|
% some comment
|
|
\end{document}
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! LaTeX comment detected at line 3
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
|
|
|
|
\end{tabular}
|
|
|
|
\begin{tabular}{|p{3cm}|p{6cm}|p{6cm}|}
|
|
\hline
|
|
Title & Input (\LaTeX) & Output \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Table with vertical lines
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
\begin{tabular}{ l | c | r }
|
|
test & 2 & test \\
|
|
4 & 5 & 6 \\
|
|
\end{tabular}
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
<html>
|
|
<table>
|
|
<tr>
|
|
<td align='left'>test</td>
|
|
<td align='center' style="border-left: 1px solid black;">2</td>
|
|
<td align='right'>test</td>
|
|
</tr>
|
|
<tr>
|
|
<td align='left'>4</td>
|
|
<td align='center' style="border-left: 1px solid black;">5</td>
|
|
<td align='right'>6</td>
|
|
</tr>
|
|
</table>
|
|
</html>
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Missing &
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
\begin{tabular}{ l c r }
|
|
1 & 2 & 3 \\
|
|
4 & 5 6 \\
|
|
\end{tabular}
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! Missing third column in second row
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\end{tabular}
|
|
|
|
\begin{tabular}{|p{3cm}|p{6cm}|p{6cm}|}
|
|
\hline
|
|
Title & Input (\LaTeX) & Output \\
|
|
\hline
|
|
|
|
\begin{lstlisting}
|
|
Too much columns
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
\documentclass[options]{class}
|
|
\begin{document}
|
|
\begin{tabular}{ l c r }
|
|
1 & 2 & 3 & 4 & 5 \\
|
|
4 & 5 6 \\
|
|
\end{tabular}
|
|
\end{document}
|
|
\end{lstlisting}&
|
|
\begin{lstlisting}
|
|
Error! Too much columns in row 1, expected 3, got 5
|
|
\end{lstlisting} \\
|
|
\hline
|
|
|
|
\end{tabular}
|
|
|