From c18357975a4f8dfc21b0923aa06119d2c982ed8b Mon Sep 17 00:00:00 2001
From: 61801 <fc61801@alunos.fc.ul.pt>
Date: Thu, 30 Oct 2025 17:10:33 +0000
Subject: [PATCH 1/3] Added integration and unitary tests

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

diff --git a/liquidjava-verifier/pom.xml b/liquidjava-verifier/pom.xml
index 5b42f4cb..9e647f43 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/ast/opt/TestOptimization.java b/liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java
new file mode 100644
index 00000000..d99b0e7a
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/ast/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));
+    }
+}
\ No newline at end of file
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..341ce079
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java
@@ -0,0 +1,15 @@
+
+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());
+    }
+}

From 44986a17fd3dda5b0d33540e23dc2faca54a3e23 Mon Sep 17 00:00:00 2001
From: 61801 <fc61801@alunos.fc.ul.pt>
Date: Thu, 6 Nov 2025 17:08:00 +0000
Subject: [PATCH 2/3] Added 2 unit tests and 1 integration test - fc61801

---
 .../java/liquidjava/rj_language/TestLiteralInt.java | 13 +++++++++++++
 1 file changed, 13 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..d6b04b43
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java
@@ -0,0 +1,13 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertNotEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralInt;
+
+ublic class TestLiteralInt {
+    @Test
+    public void testToString() {
+        LiteralInt n = new LiteralInt(61801);
+        assertEquals("61801", n.toString());
+    }
+}
\ No newline at end of file

From 172dc61b6c3aa1e85b98c9a1ee6b517073dc1902 Mon Sep 17 00:00:00 2001
From: 61801 <fc61801@alunos.fc.ul.pt>
Date: Thu, 6 Nov 2025 17:22:19 +0000
Subject: [PATCH 3/3] Added 2 unit tests and 1 integration test - fc61801

---
 .../src/test/java/liquidjava/rj_language/TestLiteralInt.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java
index d6b04b43..d357d7d7 100644
--- a/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java
@@ -4,7 +4,7 @@
 import org.junit.Test;
 import liquidjava.rj_language.ast.LiteralInt;
 
-ublic class TestLiteralInt {
+public class TestLiteralInt {
     @Test
     public void testToString() {
         LiteralInt n = new LiteralInt(61801);