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.