From ad51326fa7c138bde81b5d6b768976e276dcafc0 Mon Sep 17 00:00:00 2001
From: 61801 <fc61801@alunos.fc.ul.pt>
Date: Fri, 7 Nov 2025 13:10:05 +0000
Subject: [PATCH] Added 2 unit tests and 1 integration test - fc61801

---
 .../liquidjava/ast/opt/TestOptimization.java   | 18 ++++++++++++++++++
 .../rj_language/TestLiteralBoolean.java        | 14 ++++++++++++++
 .../rj_language/TestLiteralString.java         | 14 ++++++++++++++
 3 files changed, 46 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/TestLiteralBoolean.java
 create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java

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/TestLiteralBoolean.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralBoolean.java
new file mode 100644
index 00000000..17aa7a98
--- /dev/null
+++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralBoolean.java
@@ -0,0 +1,14 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertNotEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralBoolean;
+
+public class TestLiteralBoolean {
+    @Test
+    public void testHashCode() {
+        LiteralBoolean b1 = new LiteralBoolean(true);
+        LiteralBoolean b2 = new LiteralBoolean(false);
+        assertNotEquals(b1.hashCode(), b2.hashCode());
+    }
+}
\ 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..bb198e05
--- /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());
+    }
+}
\ No newline at end of file