Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
README
blob: 5ed6227ba32d724244a5f26601cc70360cc7e59d [
file
] [
log
] [
blame
]
The
framework tests run without the annotated JDK
.
This
means they cannot
depend on side
-
effect annotations
(
@Pure
,
@SideEffectFree
)
in
the JDK
.
Since
these are tests of the framework
,
they
do
not
use
the
org
.
checkerframework
.
checker
package
.