Add tests for code that failed in plume-lib or daikon (#599)

eisop · Oct 17, 2023 · 813e404 · 813e404
1 parent 8c6df28
commit 813e404
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/checker/tests/signedness/UnsignedConcat.java b/checker/tests/signedness/UnsignedConcat.java
@@ -41,4 +41,17 @@ void test2(String s, char c, Character charObj) {
         s += c;
         s += charObj;
     }
+
+    void test3() {
+        String a = "World";
+        String s = "Hi " + (int) a.charAt(0);
+    }
+
+    void test4(String s) {
+        Class<? extends String> sc = null;
+        if (s != null) {
+            sc = s.getClass();
+        }
+        System.out.println("In: " + sc);
+    }
 }