Add new unit and integration tests (fc63776)

Author: d1niss

liquidjava-verifier/src/test/java/liquidjava/TestLiteralBooleanSmall.java

@@ -0,0 +1,19 @@
+import static org.junit.Assert.*;
+
+import org.junit.Test;
+
+import liquidjava.rj_language.ast.LiteralBoolean;
+
+public class TestLiteralBooleanSmall {
+
+    @Test
+    public void fromStringConstructor() {
+        assertFalse(new LiteralBoolean("false").isBooleanTrue());
+    }
+
+    @Test
+    public void cloneEquals() {
+        LiteralBoolean lb = new LiteralBoolean(true);
+        assertEquals(lb, lb.clone());
+    }
+}

liquidjava-verifier/src/test/java/liquidjava/TestLiterals.java

@@ -0,0 +1,23 @@
+import static org.junit.Assert.*;
+
+import org.junit.Test;
+
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.ast.LiteralString;
+
+public class TestLiterals {
+
+    @Test
+    public void literalIntFromStringAndClone() {
+        LiteralInt li = new LiteralInt("7");
+        assertEquals(7, li.getValue());
+        assertEquals(li, li.clone());
+    }
+
+    @Test
+    public void literalStringToStringAndEquals() {
+        LiteralString ls = new LiteralString("hello");
+        assertEquals("hello", ls.toString());
+        assertEquals(ls, ls.clone());
+    }
+}

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

@@ -32,5 +32,4 @@ public void testIntegerSubFold() {
         assertEquals(new LiteralInt(3), r.getValue());
     }
 
-    
 }