safeCount property

int get safeCount

Number of provably safe accesses.

Implementation

int get safeCount => results.where((r) => r.isSafe).length;