test coverage

uber · Dec 22, 2024 · 06f11c2 · 06f11c2
1 parent 353a74b
commit 06f11c2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/nullaway/src/test/java/com/uber/nullaway/CoreTests.java b/nullaway/src/test/java/com/uber/nullaway/CoreTests.java
@@ -1080,10 +1080,13 @@ public void synchronizedDeref() {
             "package com.uber;",
             "import org.jspecify.annotations.Nullable;",
             "public class TestCase {",
-            "  public static void foo(@Nullable Object lock) {",
+            "  public static void testPositive(@Nullable Object lock) {",
             "    // BUG: Diagnostic contains: synchronized block expression \"lock\" is @Nullable",
             "    synchronized (lock) {}",
             "  }",
+            "  public static void testNegative(Object lock) {",
+            "    synchronized (lock) {}",
+            "  }",
             "}")
         .doTest();
   }