Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
docs
/
examples
/
wpi-many
/
README
blob: df5fec264c65dfe64b9941fc7a70fef83075ba1d [
file
] [
log
] [
blame
]
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 .