Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
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 .