In order to avoid duplicate files in case insensitive file systems, I've added an integer value before each file name. This value is just a counter of the number of programs in ChiBench.
I've also updated the mining script to name files using this counter.
Solves issue #1.
In order to avoid duplicate files in case insensitive file systems, I've added an integer value before each file name. This value is just a counter of the number of programs in ChiBench.
I've also updated the mining script to name files using this counter.