OpenJML v0.8.36 Release Notes

Release Date: 2018-07-01 // over 5 years ago
  • 🛠 Fixed
    #622
    #621
    #618
    ➕ Added checks for 'also' modifier
    Corrected handling of fields from enclosing classes
    ✂ Removed null-ness checking and invariants for data group fields