From 48af60a142f717108713b4aa03d77d4585aea439 Mon Sep 17 00:00:00 2001
From: Ines <fc62258@alunos.fc.ul.pt>
Date: Sat, 1 Nov 2025 18:12:32 +0000
Subject: [PATCH 1/2] =?UTF-8?q?adicionados=20teste=20unit=C3=A1rio=20TestL?=
 =?UTF-8?q?iteralInt=20e=20teste=20de=20integra=C3=A7=C3=A3o=20TestOptimiz?=
 =?UTF-8?q?ation?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 liquidjava-verifier/pom.xml                   | 39 +++++++++++++++++++
 .../rj_language/TestLiteralString.java        | 14 +++++++
 .../rj_language/opt/TestOptimization.java     | 18 +++++++++
 3 files changed, 71 insertions(+)
 create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java
 create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java

diff --git a/liquidjava-verifier/pom.xml b/liquidjava-verifier/pom.xml
index 5b42f4cb..f4c6feca 100644
--- a/liquidjava-verifier/pom.xml
+++ b/liquidjava-verifier/pom.xml
@@ -95,6 +95,45 @@
 					</execution>
 				</executions>
 			</plugin>
+			<plugin>
+				<groupId>org.jacoco</groupId>
+				<artifactId>jacoco-maven-plugin</artifactId>
+				<version>0.8.14</version>
+				<executions>
+					<execution>
+						<id>default-prepare-agent</id>
+						<goals>
+							<goal>prepare-agent</goal>
+						</goals>
+					</execution>
+					<execution>
+						<id>default-report</id>
+						<goals>
+							<goal>report</goal>
+						</goals>
+					</execution>
+					<execution>
+						<id>default-check</id>
+						<goals>
+							<goal>check</goal>
+						</goals>
+						<configuration>
+							<rules>
+								<rule>
+									<element>BUNDLE</element>
+									<limits>
+										<limit>
+											<counter>COMPLEXITY</counter>
+											<value>COVEREDRATIO</value>
+											<minimum>0.60</minimum>
+										</limit>
+									</limits>
+								</rule>
+							</rules>
+						</configuration>
+					</execution>
+				</executions>
+			</plugin>
 		</plugins>
 	</build>
 
diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java
new file mode 100644
index 00000000..7e82772f
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java
@@ -0,0 +1,14 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertNotEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralString;
+
+public class TestLiteralString {
+    @Test
+    public void testLiteralString() {
+        LiteralString s1 = new LiteralString("hello");
+        LiteralString s2 = new LiteralString("world");
+        assertNotEquals(s1.hashCode(), s2.hashCode());
+    }
+}
diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java
new file mode 100644
index 00000000..cdf819a8
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java
@@ -0,0 +1,18 @@
+import static org.junit.Assert.assertEquals;
+
+import org.junit.Test;
+
+import liquidjava.rj_language.ast.BinaryExpression;
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.opt.ConstantFolding;
+import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
+
+public class TestOptimization {
+    @Test
+    public void testBinaryFold() {
+        BinaryExpression b = new BinaryExpression(new LiteralInt(1), "+", new LiteralInt(2));
+
+        ValDerivationNode r = ConstantFolding.fold(new ValDerivationNode(b, null));
+        assertEquals(r.getValue(), new LiteralInt(3));
+    }
+}

From d83ede4629452a4eaddb4199b2c32c39bd1ceeef Mon Sep 17 00:00:00 2001
From: Ines <fc62258@alunos.fc.ul.pt>
Date: Sat, 1 Nov 2025 18:17:44 +0000
Subject: [PATCH 2/2] =?UTF-8?q?adicionados=20teste=20unit=C3=A1rio=20TestL?=
 =?UTF-8?q?iteralInt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../liquidjava/rj_language/TestLiteralInt.java     | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java

diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java
new file mode 100644
index 00000000..77b057d0
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java
@@ -0,0 +1,14 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertNotEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralInt;
+
+public class TestLiteralInt {
+    @Test
+    public void testLiteralString() {
+        LiteralInt n1 = new LiteralInt(8);
+        LiteralInt n2 = new LiteralInt(2);
+        assertNotEquals(n1.hashCode(), n2.hashCode());
+    }
+}