Commit 29cd171a authored 5 years ago by André Anjos

Merge branch 'fix-floating-point-cmp' into 'master'

Fix precision test to be a bit softer on floating-point comparisons

See merge request !10

Branches