Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
subtyping
/
README
blob: 1d4699bcd7edfcba31a9bac6251b8193f2670293 [
file
] [
log
] [
blame
]
To
add a
new
file to the test suite
,
see
../
README
To
run the tests
,
do
(
cd $CHECKERFRAMEWORK
&&
./
gradlew
SubtypingEncryptedTest
)