Correctly handles version-checking for any Checker Framework fork whose version string starts with a version string from the main Checker Framework repository.
I tested that with the instructions in #277 this no longer leads to a printout about using the default Checker Framework version when using the EISOP fork. So, this closes out #275 completely.
wmdietl
commented
1 week ago
Correctly handles version-checking for any Checker Framework fork whose version string starts with a version string from the main Checker Framework repository.
I tested that with the instructions in #277 this no longer leads to a printout about using the default Checker Framework version when using the EISOP fork. So, this closes out #275 completely.