Closed MaximoOliveira closed 3 years ago
Hi @MaximoOliveira
Nice work, thanks a lot. It seems fine for me.
Just one small detail: the PR also contains commits that we have already merged: bee42f6 * Fix non-deterministic bug that is found with Cardumen.
As we will squash and merge, that would not be a problem now.
Thanks! Matias
See issue #301
It is better to remove these elements before entering in the loop
Also removed some javadoc that was incorrect in one file