Added an incorrect test for if without else permissions

Author: Pichers

latte/src/test/examples/MyNodeIncorrectIfPermission.java

@@ -0,0 +1,23 @@
+package latte;
+
+import specification.Free;
+import specification.Unique;
+import specification.Shared;
+import specification.Borrowed;
+
+class MyNodeIfNoElse {
+
+    @Unique Object value;
+
+    public @Unique Object test(@Shared Object v1, boolean cond) {
+        Object n;
+        n = new Object();
+
+        this.value = n;
+        if (cond) {
+            this.value = v1;
+        }
+
+        return this.value;
+    }
+}

latte/src/test/java/AppTest.java

@@ -63,7 +63,8 @@ private static Stream<Arguments> provideIncorrectTestCases() {
             Arguments.of("src/test/examples/SmallestIncorrectExample.java", "UNIQUE but got BORROWED"),
             Arguments.of("src/test/examples/MyStackFieldAssignMethod.java", "UNIQUE but got SHARED"),
             Arguments.of("src/test/examples/FieldAccessNoThis.java", "UNIQUE but got SHARED"),
-            Arguments.of("src/test/examples/FieldAccessRightNoThis.java", "FREE but got UNIQUE")
+            Arguments.of("src/test/examples/FieldAccessRightNoThis.java", "FREE but got UNIQUE"),
+            Arguments.of("src/test/examples/MyNodeIncorrectIfPermission.java", "Expected UNIQUE but got SHARED")
         );
     }