search

Shimuuar / vecvec

0 stars 1 forks source link

Basic `vector` property tests #1

Closed dmalkr closed 1 year ago

dmalkr commented 1 year ago

Just copy vector package property tests

Shimuuar commented 1 year ago

Oh! Another thing. Please add possibility to generate vectors with non-1 stride in Arbitrary for Vec. See following as an example:

https://github.com/Shimuuar/vecvec/blob/7d73f0498328fad5a63f88762ef478feac179354/vecvec-lapack/tests/TST/Model.hs#L345-L348

dmalkr commented 1 year ago

Oh, got confused in the comment interface and accidentally closed the PR. :(

dmalkr commented 1 year ago

Oh! Another thing. Please add possibility to generate vectors with non-1 stride in Arbitrary for Vec. See following as an example:

https://github.com/Shimuuar/vecvec/blob/7d73f0498328fad5a63f88762ef478feac179354/vecvec-lapack/tests/TST/Model.hs#L345-L348

Done for Arbitrary. TestData also need to make Vecs from lists, but it have no access to random generating. So I made here fixed stride:

https://github.com/Shimuuar/vecvec/blob/e0fe928708bfa55e1f96a6a60ad8a2f7ab5b7963/vecvec-lapack/tests/Utilities.hs#L114-L120