Open
Description
Property-based testing is a very powerful way to create robust tests, but it's currently somewhat difficult to use property-based testing with Array
inputs because Array
doesn't implement the Arbitrary
trait.
It would be nice to implement the Arbitrary
trait similar to the impl for Vec
such that the shape and elements could be parameterized. We could also take the memory layout as a parameter (with choices row-major/column-major/contiguous/arbitrary) or just randomize it.