FLiT icon indicating copy to clipboard operation
FLiT copied to clipboard

Distributivity: find variability inputs for long double

Open mikebentley15 opened this issue 6 years ago • 0 comments

The values in the DistributivityOfMultiplication test within the litmus tests do not demonstrate variability. Since inputGen is not working, it is not easy to find variability inputs for this test (see issue #141), we have not yet found new failing inputs. Once issue #141 is resolved, then this one can be resolved too.

mikebentley15 avatar Aug 14 '18 00:08 mikebentley15