Relax, don’t worry. Somebody wrote:
But maybe this somebody didn’t expect that after testing float/1, I
will also do some (/)/2 and (**)/2 testing. But this is only natural,
after unit testing float/1, to also make some integration testing
of (/)/2 and (**)/2 that depend on float/1. But thats mostlikely
alread it. I already wrote where I intend to stop:
Hope this Helps!
Edit 15.10.2022
I made a small attempt to also test (+)/2, via this test case here:
It was even a test case totally inside floats. But then the discrepancy
among systems was caused by a parsing problem. If I find a way to
do something nasty, which is not parsing, I might also
do some new (+)/2 test cases and some new (*)/2 test cases. Or
somebody else does this. Or there are already some test cases.
Who knows what the future will bring?