menu
anteater package
documentation
reasoner/abstract/bounds_checker.dart
BoundsCheckSummary
totalCount property
totalCount property
dark_mode
light_mode
totalCount
property
int
get
totalCount
Total number of array accesses.
Implementation
int get totalCount => results.length;
anteater package
documentation
reasoner/abstract/bounds_checker
BoundsCheckSummary
totalCount property
BoundsCheckSummary class