Minor Change

rcosta358 · rcosta358 · commit f39fff2795bb · 2026-05-14T14:55:32.000+01:00
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/DebugLog.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/DebugLog.java
@@ -135,7 +135,7 @@ public static void counterexampleAssignments(Counterexample counterexample) {
         if (!enabled() || counterexample == null || counterexample.assignments().isEmpty()) {
             return;
         }
-        System.out.println(SMT_TAG + " counterexample assignments:");
+        System.out.println(SMT_TAG + " unfiltered counterexample assignments:");
         for (var assignment : counterexample.assignments()) {
             System.out.println(SMT_TAG + "     " + assignment.first() + " = " + assignment.second());
         }

Original file line number	Diff line number	Diff line change
`@@ -135,7 +135,7 @@ public static void counterexampleAssignments(Counterexample counterexample) {`
`135`	`135`	`if (!enabled() \|\| counterexample == null \|\| counterexample.assignments().isEmpty()) {`
`136`	`136`	`return;`
`137`	`137`	`}`
`138`		`- System.out.println(SMT_TAG + " counterexample assignments:");`
	`138`	`+ System.out.println(SMT_TAG + " unfiltered counterexample assignments:");`
`139`	`139`	`for (var assignment : counterexample.assignments()) {`
`140`	`140`	`System.out.println(SMT_TAG + " " + assignment.first() + " = " + assignment.second());`
`141`	`141`	`}`