6
53%
master: 53%

Ran 28 Oct 2025 12:11PM UTC

Files 62

Run time 7s

Badge

Embed ▾

Committed 28 Oct 2025 11:54AM UTC coverage: 52.411% (+0.07%) from 52.34%

Job # 18873894527.6

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

42682 of 81437 relevant lines covered (52.41%)

438116.73 hits per line

form-dev / form / 18873894527 / 6
53%
master: 53%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (default) (flint - no) - 18873894527.6

form-dev / form / 18873894527 / 6 53% master: 53%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (default) (flint - no) - 18873894527.6

form-dev / form / 18873894527 / 6
53%
master: 53%

README BADGES
x