False positive when populating a slice through a counting for
loop
#138
Labels
false positive
Requires more analysis and support
for
loop
#138
NilAway reports a false positive for the below case.
The text was updated successfully, but these errors were encountered: