Checker Framework v3.4.1 Release Notes
Release Date: 2020-06-01 // almost 4 years ago-
๐ Version 3.4.1, June 1, 2020
-Ainfer
now takes an argument:-Ainfer=jaifs
uses.jaif
files to store the results of whole-program inference.-Ainfer=stubs
uses.astub
files to store the results of whole-program inference.- ๐
-Ainfer
is deprecated but is the same as-Ainfer=jaifs
, for backwards compatibility.
๐ New command-line option:
-AmergeStubsWithSource
If both a stub file and a source file are available, use both.Closed issues:
2893, 3021, 3128, 3160, 3232, 3277, 3285, 3289, 3295, 3302, 3305, 3307, 3310, 3316, 3318, 3329.