swaits e86e211bed test: add property tests to HeightVector ...

Which also helped me fix a bug (using is_sign_negative() when we actually are okay with -0.0).

Signed-off-by: Stephen Waits <steve@waits.net>

2023-02-07 21:37:21 -07:00

..

height_vector.txt

test: add property tests to HeightVector

2023-02-07 21:37:21 -07:00

vector.txt

fix: add numeric stability

2023-02-07 20:25:10 -07:00