Minor Changes

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostic.java

@@ -104,30 +104,31 @@ public String getSnippet() {
 
             // calculate padding for line numbers
             int padding = String.valueOf(endLine).length();
+            String pipe = " | ";
 
             for (int i = startLine; i <= endLine; i++) {
                 String lineNumStr = String.format("%" + padding + "d", i);
                 String line = lines.get(i - 1);
 
                 // add line
-                sb.append(Colors.GREY).append(lineNumStr).append(" | ").append(line).append(Colors.RESET).append("\n");
+                sb.append(Colors.GREY).append(lineNumStr).append(pipe).append(line).append(Colors.RESET).append("\n");
 
                 // add error markers on the line(s) with the error
                 if (i >= position.lineStart() && i <= position.lineEnd()) {
                     int colStart = (i == position.lineStart()) ? position.colStart() : 1;
                     int colEnd = (i == position.lineEnd()) ? position.colEnd() : line.length();
 
                     if (colStart > 0 && colEnd > 0) {
-                        // line number padding + " | " + column offset
-                        String indent = " ".repeat(padding) + Colors.GREY + " | " + Colors.RESET
+                        // line number padding + pipe + column offset
+                        String indent = " ".repeat(padding) + Colors.GREY + pipe + Colors.RESET
                                 + " ".repeat(colStart - 1);
                         String markers = accentColor + "^".repeat(Math.max(1, colEnd - colStart + 1));
                         sb.append(indent).append(markers);
 
                         // custom message
                         if (customMessage != null && !customMessage.isBlank()) {
-                            String sep = " || ";
-                            sb.append(" " + customMessage.replace(sep, "\n" + " ".repeat(padding + colEnd + sep.length())));
+                            String offset = " ".repeat(padding + colEnd + pipe.length() + 1);
+                            sb.append(" " + customMessage.replace("\n", "\n" + offset));
                         }
                         sb.append(Colors.RESET).append("\n");
                     }

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java

@@ -499,7 +499,7 @@ private static void changeState(TypeChecker tc, VariableInstance vi, List<Object
 
             // combine messages of all state changes
             String message = stateChanges.stream().map(ObjectState::getMessage)
-                    .filter(msg -> msg != null && !msg.isBlank()).distinct().collect(Collectors.joining(" || "));
+                    .filter(msg -> msg != null && !msg.isBlank()).distinct().collect(Collectors.joining("\n"));
             tc.throwStateRefinementError(invocation.getPosition(), prevState, expectedStatesDisjunction, message);
         }
     }