Duplicate entries in testfloat_gen output

[v-ashwin]

We learnt that the random.c is not very efficient in generating unique tests cases. We checked by generating 1000000 tests, we found only 33680 are unique ( only 3% :( ). Is there a way to remove duplicates or can you recommend a better random.c. We will try compiling with that new file.

[nibrunieAtSi5]

Could you give the testfloat_gen command you have used ? (Quality of random on the output may depend on the operation)