This directory contains examples of how to use the wpi-many.sh script
with a custom checker.
For an explanation, see https://checkerframework.org/manual/#wpi-many .
