tree 7cb24352b3eeef9cc7218c4b738ecfd1be851976
parent 0352a214906667646eab0aef3e5faecf4d786bbc
author Antonio Barone <syntonyze@gmail.com> 1556721549 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1557051236 +0000

Improve computation of numFiles and numDistinctFiles

Optimize the computation of numFiles and numDistinctFiles:
- Compute the list of affected files only once
- Reply on the uniqueness of elements in a set to achieve distinction
rather than folding over a union

Change-Id: Ic9eb4b06a47d6169cd1584406b5bbb19243f670a