@@ -437,25 +437,25 @@ private static void equivalencesLine(String line, ParsePosition pp, int lineNumb
437437 ++testFailureCount ;
438438 printErrorLine ("Test Failure" , Side .START , testFailureCount );
439439 }
440- final List <String > errorMessage = new ArrayList <>();
440+ final List <String > errorMessageLines = new ArrayList <>();
441441 if (counterexamples .isEmpty ()) {
442- errorMessage .add ("There are no counterexamples to " + relationOperator + "." );
442+ errorMessageLines .add ("There are no counterexamples to " + relationOperator + "." );
443443 } else {
444444 if (leftShouldImplyRight ) {
445- errorMessage .add (
445+ errorMessageLines .add (
446446 "The implication ⇒ is " + leftImpliesRightCounterexamples .isEmpty () + "." );
447447 }
448448 if (rightShouldImplyLeft ) {
449- errorMessage .add (
449+ errorMessageLines .add (
450450 "The implication ⇐ is " + rightImpliesLeftCounterexamples .isEmpty () + "." );
451451 }
452452 }
453- for (var errorLine : errorMessage ) {
453+ for (var errorLine : errorMessageLines ) {
454454 println (errorLine );
455455 }
456- errorMessage .addAll (counterexamples );
456+ errorMessageLines .addAll (counterexamples );
457457 if (failure ) {
458- reportTestFailure (lineNumber , String .join ("\n " , errorMessage ).replace ('\t' , ' ' ));
458+ reportTestFailure (lineNumber , String .join ("\n " , errorMessageLines ).replace ('\t' , ' ' ));
459459 }
460460 out .println (failure ? "<table class='f'>" : "<table>" );
461461 for (String counterexample : counterexamples ) {
@@ -857,21 +857,21 @@ private static void checkExpected(
857857 }
858858 testFailureCount ++;
859859 printErrorLine ("Test Failure" , Side .START , testFailureCount );
860- final var errorMessage =
860+ final var errorMessageLines =
861861 new String [] {
862862 "Expected " + expected + ", got: " + segment .size () + "\t " + segment .toString (),
863863 rightStatus + "\t " + rightSide ,
864864 leftStatus + "\t " + leftSide
865865 };
866866 var monoTable = new StringWriter ();
867- for (String line : errorMessage ) {
867+ for (String line : errorMessageLines ) {
868868 println ("## " + line );
869869 }
870870 errorLister .setTabber (new Tabber .MonoTabber ());
871871 errorLister .setLineSeparator ("\n " );
872872 errorLister .showSetNames (new PrintWriter (monoTable ), segment );
873873 reportTestFailure (
874- lineNumber , String .join ("\n " , errorMessage ) + "\n " + monoTable .toString ());
874+ lineNumber , String .join ("\n " , errorMessageLines ) + "\n " + monoTable .toString ());
875875 errorLister .setTabber (htmlTabber );
876876 if (doHtml ) {
877877 out .println ("<table class='e'>" );
0 commit comments