GitHub repository: kelloggm/wpi-many-tests-ensures-called-methods
Primary language: Java
Created: 2021-07-01T22:23:32Z
Description: A simple repository for testing that @EnsuresCalledMethods is inferred correctly by Checker Framework whole-program inference