Skip to content

Commit

Permalink
Cleanup Ainfer Nullness Jaifs test (typetools#5620)
Browse files Browse the repository at this point in the history
  • Loading branch information
kelloggm authored and wmdietl committed Feb 19, 2023
1 parent 26539aa commit 971c922
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions checker/build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -807,6 +807,7 @@ task ainferResourceLeakAjavaTest(dependsOn: 'shadowJar', group: 'Verification')
dependsOn(ainferResourceLeakValidateAjava)
outputs.upToDateWhen { false }
}

task ainferNullnessGenerateJaifs(type: Test) {
description 'Internal task. Users should run ainferNullnessJaifTest instead. This type-checks the ainfer-nullness files with -Ainfer=jaifs to generate .jaif files'

Expand All @@ -828,11 +829,6 @@ task ainferNullnessGenerateJaifs(type: Test) {
doLast {
copyNonannotatedToAnnotatedDirectory('ainfer-nullness')

// JAIF-based WPI fails these tests, which was added for stub-based WPI.
// See issue here: https://github.com/typetools/checker-framework/issues/3009
delete('tests/ainfer-nullness/annotated/ConflictingAnnotationsTest.java')
delete('tests/ainfer-nullness/annotated/MultiDimensionalArrays.java')

// JAIF-based WPI does not infer annotations on uses of type variables correctly.
delete('tests/ainfer-nullness/annotated/TwoCtorGenericAbstract.java')

Expand Down

0 comments on commit 971c922

Please sign in to comment.