form-dev / form / 18873894527

57%

Build Type

push

github

Committed by cbmarini

Commit Message

feat: add StrictRounding statement to round floats and to trim excess GMP precision
- The user can specify a precision (in bits or digits) for the rounding. If no number is given, the default precision is used.
- Ensures that extra internal GMP precision (used for tracking accuracy) is cut off and properly rounded
- Internally the mpf_get_str and mpf_set_str are used. This means we could also implement base 2 rounding.
- refactor: changed AO.floatsize such that it can now also hold floats in base 2.
- This resolves #698
- added a test and  documentation for strictrounding.

Run Details

52 of 61 new or added lines in 3 files covered. (85.25%)

11 existing lines in 1 file now uncovered.

46998 of 82418 relevant lines covered (57.02%)

5629878.78 hits per line