Release 0.0.18

Author: rcosta358

liquidjava-verifier/pom.xml

@@ -11,7 +11,7 @@
 
 	<groupId>io.github.liquid-java</groupId>
 	<artifactId>liquidjava-verifier</artifactId>
-	<version>0.0.16</version>
+	<version>0.0.18</version>
 	<name>liquidjava-verifier</name>
 	<description>LiquidJava Verifier</description>
 	<url>https://github.com/liquid-java/liquidjava</url>

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java

@@ -54,7 +54,8 @@ public String getCounterExampleString() {
                 // join with "&&"
                 .collect(Collectors.joining(" && "));
 
-        if (counterexampleString.isEmpty() || counterexampleString.equals(found.getValue().toString()))
+        String foundString = VariableFormatter.formatText(found.getValue().toString());
+        if (counterexampleString.isEmpty() || counterexampleString.equals(foundString))
             return null;
 
         return counterexampleString;