package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26

Folder: tests

d .. (parent)
d d rwxr-xr-x 74 aggregate
d d rwxr-xr-x 4,096 aliasing
d d rwxr-xr-x 8,192 all-systems
d d rwxr-xr-x 95 annotationclassloader
d d rwxr-xr-x 116 classval
d d rwxr-xr-x 83 compound-checker
d d rwxr-xr-x 33 conservative-defaults
d d rwxr-xr-x 52 defaulting
d d rwxr-xr-x 118 flow
d d rwxr-xr-x 4,096 flow2
d d rwxr-xr-x 4,096 flowexpression
d d rwxr-xr-x 4,096 framework
d d rwxr-xr-x 64 lubglb
d d rwxr-xr-x 148 methodval
d d rwxr-xr-x 33 nontopdefault
d d rwxr-xr-x 48 purity-suggestions
d d rwxr-xr-x 128 reflection
d d rwxr-xr-x 4,096 report
d d rwxr-xr-x 31 reportmodifiers
d d rwxr-xr-x 39 reporttreekinds
d d rwxr-xr-x 49 simple
d d rwxr-xr-x 90 stringpatterns
d d rwxr-xr-x 4,096 subtyping
d d rwxr-xr-x 4,096 testchecker
d d rwxr-xr-x 85 typedecldefault
d d rwxr-xr-x 4,096 value
d d rwxr-xr-x 4,096 value-ignore-range-overflow
d d rwxr-xr-x 117 value-non-null-strings-concatenation
d d rwxr-xr-x 51 whole-program-inference
- - rw-r--r-- 245 README