Failed after 11 tests. Parameters:
[|-1.797693135e+308; nan; -0.0; -0.0; 0.0; 0.1008751652; 4.534974708; 0.0;
-1.797693135e+308|]
Shrunk 8 times to:
[|nan|]
Result:
Exception
Expecto.AssertException: Array should be equals to original. Sequence does not match at position 0. Expected item: nan, but got nan.
expected: [0] nan
actual: [0] nan
at [email protected](String msg)
at Expecto.Expect.sequenceEqual[a](IEnumerable`1 actual, IEnumerable`1 expected, String message)
at [email protected](FSharpFunc`2 getCopyFun, a[] array) in /home/gsv/Projects/GraphBLAS-sharp/tests/GraphBLAS-sharp.Tests/BackendCommonTests/CopyTests.fs:line 48
at [email protected](Double[] array) in /home/gsv/Projects/GraphBLAS-sharp/tests/GraphBLAS-sharp.Tests/BackendCommonTests/CopyTests.fs:line 66
at FsCheck.Testable.evaluate[a,b](FSharpFunc`2 body, a a)
Focus on error:
etestProperty (1132971536, 296954577) "Correctness test on random float arrays"
Platform Name Intel(R) OpenCL HD Graphics
Number of devices 1
Device Name Intel(R) UHD Graphics 620 [0x5917]
Device Vendor Intel(R) Corporation
Device Vendor ID 0x8086
Device Version OpenCL 3.0 NEO
Driver Version 21.37.20939
Device OpenCL C Version OpenCL C 3.0