Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We use a [new WALA feature](wala/WALA#1286) to only include the `java.base` module in the `AnalysisScope` used for JarInfer. JarInfer does not require all JDK standard library modules to be part of the analysis scope, just enough to make a valid class hierarchy, and `java.base` suffices. This should speed up runs of JarInfer, and in particular it speeds up our JarInfer regression tests.
- Loading branch information