Update SMTEvaluator

cheestree · rcosta358 · web-flow · commit 6f0107d096fe · 2026-03-19T17:03:52.000Z
Follows suggested print formatting

Co-authored-by: Ricardo Costa &lt;rcosta.ms358@gmail.com&gt;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/smt/SMTEvaluator.java b/liquidjava-verifier/src/main/java/liquidjava/smt/SMTEvaluator.java
@@ -27,7 +27,7 @@ public class SMTEvaluator {
     public SMTResult verifySubtype(Predicate subRef, Predicate supRef, Context context) throws Exception {
         Predicate toVerify = Predicate.createConjunction(subRef, supRef.negate());
         if (CommandLineLauncher.cmdArgs.debugMode) {
-            System.out.println("Verifying: " + subRef + " <: " + supRef);
+            System.out.println(String.format("%s <: %s", subRef, supRef));
         }
         try {
             Expression exp = toVerify.getExpression();

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ public class SMTEvaluator {`
`27`	`27`	`public SMTResult verifySubtype(Predicate subRef, Predicate supRef, Context context) throws Exception {`
`28`	`28`	`Predicate toVerify = Predicate.createConjunction(subRef, supRef.negate());`
`29`	`29`	`if (CommandLineLauncher.cmdArgs.debugMode) {`
`30`		`- System.out.println("Verifying: " + subRef + " <: " + supRef);`
	`30`	`+ System.out.println(String.format("%s <: %s", subRef, supRef));`
`31`	`31`	`}`
`32`	`32`	`try {`
`33`	`33`	`Expression exp = toVerify.getExpression();`