Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: a84f10a1b02958d7f825507745c204db83356b8c
https://github.com/typetools/checker-framework/commit/a84f10a1b02958d7f825507745c204db83356b8c
Author: Martin Kellogg <
kell...@cs.washington.edu>
Date: 2022-05-13 (Fri, 13 May 2022)
Changed paths:
M checker/build.gradle
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerAjavaTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerAjavaValidationTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerJaifsTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerJaifsValidationTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerStubsTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerStubsValidationTest.java
A checker/tests/ainfer-testchecker/non-annotated/Purity.java
A checker/tests/ainfer-testchecker/non-annotated/all-systems
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M docs/manual/annotating-libraries.tex
A framework-test/src/main/java/org/checkerframework/framework/test/AinferGeneratePerDirectoryTest.java
A framework-test/src/main/java/org/checkerframework/framework/test/AinferValidatePerDirectoryTest.java
A framework-test/src/main/java/org/checkerframework/framework/test/CheckerFrameworkWPIPerDirectoryTest.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/SceneToStubWriter.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
M framework/src/main/java/org/checkerframework/framework/source/messages.properties
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/tests/all-systems/GetClassTest.java
M framework/tests/all-systems/IsSubarrayEq.java
M framework/tests/all-systems/Issue1708.java
M framework/tests/all-systems/Issue577.java
M framework/tests/all-systems/Issue759.java
R framework/tests/all-systems/Map.java
A framework/tests/all-systems/MapCrashTest.java
M framework/tests/all-systems/MultipleUnions.java
M framework/tests/all-systems/SimpleLog.java
M framework/tests/all-systems/UnionCrash.java
M framework/tests/all-systems/Unions.java
R framework/tests/all-systems/java8/memberref/AssignmentContext.java
A framework/tests/all-systems/java8/memberref/AssignmentContextFunction.java
Log Message:
-----------
Enable all-systems tests for whole-program inference (#5091)