GitHub repository: karlicoss/checker-fenum-android-demo
Primary language: Java
Description: Demo setup for using Checker Framework custom @Fenum annotations in your Android project