Add Test

Author: rcosta358

liquidjava-example/src/main/java/testSuite/CorrectChars.java

@@ -2,6 +2,7 @@
 
 import liquidjava.specification.Refinement;
 
+@SuppressWarnings("unused")
 public class CorrectChars {
 
     @Refinement("_ == 65")
@@ -19,4 +20,17 @@ void test() {
     void printLetter(@Refinement("_ >= 65 && _ <= 90 || _ >= 97 && _ <= 122") char c) {
         System.out.println(c);
     }
+
+    void test2() {
+        @Refinement("_ == 97")
+        char c = 'a';
+        
+        @Refinement("_ == 98")
+        int res = inc(c);
+    }
+
+    @Refinement("_ == x + 1")
+    int inc(int x) {
+        return x + 1;
+    }
 }