Commit Graph

15 Commits

Author SHA1 Message Date
Crozet Sébastien
6cfd2bca14 Use proptest for all nalgebra tests. 2021-02-28 17:52:14 +01:00
Andreas Longva
5dfe06897f Rename nalgebra/proptest to /proptest-support
This gives us some freedom in the future, in case we need
additional dependencies for the proptest integration.
2021-01-26 09:49:01 +01:00
Andreas Longva
f9ea2b4471 Initial proptest implementation for nalgebra
This introduces functionality for creating strategies for matrices and
vectors, as well as an implementation of Arbitrary.

Strategies for the geometric types (Point3, Quaternion etc.) are not
currently part of this contribution.

The current strategy implementation for matrices has some limitations
that lead to suboptimal shrinking behavior. This is documented in the
module-level docs, with some additional comments in the code.
2021-01-26 08:57:47 +01:00
Andreas Longva
93eddc2120 Add example to compile_error message 2020-11-16 14:13:17 +01:00
Andreas Longva
a4fa3f9c1b Fail test compilation if mandatory features are missing 2020-11-16 11:36:54 +01:00
sebcrozet
b1857e6a36 Fix compilation of tests. 2020-03-21 23:44:24 +01:00
sebcrozet
77f048b6b9 WIP use Complex instead of Real whenever possible on the linalg module. 2019-03-02 19:33:49 +01:00
sebcrozet
0d24cf4dc0 Run rustmt. 2018-10-20 22:26:44 +02:00
Sébastien Crozet
5a4179c287 Re-enable most tests. 2018-02-03 13:59:05 +01:00
Sébastien Crozet
662cc9cd7f Run rust fmt. 2018-02-03 13:59:05 +01:00
Sébastien Crozet
94c1ab8e7b Add matrix slice construction from array slices. 2018-02-03 13:59:05 +01:00
Dzmitry Malyshau
2cd79851c3 Mint vector tests 2017-10-09 20:22:24 +02:00
Eduard Bopp
3a1fb0ed88 Fix feature flagging for abomonation-serialize
The tests can now be run without the abomonation feature. Also fixes a
bug in the feature flagging for abomonation.
2017-09-18 20:10:32 +02:00
Sébastien Crozet
48f80d99cc Fix abomonation integration. 2017-08-15 19:36:38 +02:00
Sébastien Crozet
3f70af97dd Add the most common matrix decompositions. 2017-08-15 19:07:18 +02:00