add the annotation file to the jaif test for WPI + nullness, too

typetools · Feb 8, 2023 · 3bebcd0 · 3bebcd0
1 parent 6fdd4ac
commit 3bebcd0
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/...t/java/org/checkerframework/checker/test/junit/ainferrunners/AinferNullnessJaifsTest.java b/...t/java/org/checkerframework/checker/test/junit/ainferrunners/AinferNullnessJaifsTest.java
@@ -20,7 +20,13 @@ public class AinferNullnessJaifsTest extends CheckerFrameworkPerDirectoryTest {
    * @param testFiles the files containing test code, which will be type-checked
    */
   public AinferNullnessJaifsTest(List<File> testFiles) {
-    super(testFiles, NullnessChecker.class, "nullness", "-Ainfer=jaifs", "-Awarns");
+    super(
+        testFiles,
+        NullnessChecker.class,
+        "nullness",
+        "-Ainfer=jaifs",
+        "-Awarns",
+        "-Aajava=tests/ainfer-nullness/input-annotation-files/");
   }
 
   @Parameters