Improve Message

rcosta358 · rcosta358 · commit da2bfce9e17d · 2025-11-21T14:45:08.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
@@ -58,7 +58,7 @@ public static void launch(String... paths) {
 
         boolean buildSuccess = launcher.getModelBuilder().build();
         if (!buildSuccess) {
-            diagnostics.add(new CustomWarning("Java compilation error detected"));
+            diagnostics.add(new CustomWarning("Java compilation error detected. Verification might be affected."));
         }
 
         final Factory factory = launcher.getFactory();

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@ public static void launch(String... paths) {`
`58`	`58`
`59`	`59`	`boolean buildSuccess = launcher.getModelBuilder().build();`
`60`	`60`	`if (!buildSuccess) {`
`61`		`- diagnostics.add(new CustomWarning("Java compilation error detected"));`
	`61`	`+ diagnostics.add(new CustomWarning("Java compilation error detected. Verification might be affected."));`
`62`	`62`	`}`
`63`	`63`
`64`	`64`	`final Factory factory = launcher.getFactory();`