Added an unit test and an integration test

Author: joaonhdelgado

liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java

@@ -5,6 +5,7 @@
 
 import liquidjava.rj_language.ast.BinaryExpression;
 import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.ast.UnaryExpression;
 import liquidjava.rj_language.opt.ConstantFolding;
 import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
 
@@ -17,4 +18,11 @@ public void testBinaryFold() {
         ValDerivationNode r = ConstantFolding.fold(new ValDerivationNode(b, null));
         assertEquals(r.getValue(), new LiteralInt(3));
     }
+
+    @Test
+    public void testUnaryExpression() {
+        UnaryExpression u = new UnaryExpression("-", new LiteralInt(3));
+        ValDerivationNode vd = ConstantFolding.fold(new ValDerivationNode(u, null));
+        assertEquals(vd.getValue(), new LiteralInt(-3));
+    }
 }

liquidjava-verifier/src/test/java/liquidjava/rj_language/testLiteralBoolean.java

@@ -0,0 +1,16 @@
+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 testLiteralBoolean() {
+        LiteralBoolean s1 = new LiteralBoolean(true);
+        LiteralBoolean s2 = new LiteralBoolean(false);
+        assertNotEquals(s1.hashCode(), s2.hashCode());
+    }
+}