5
57%
master: 57%

Ran 28 Oct 2025 12:11PM UTC

Files 65

Run time 5s

Badge

Embed ▾

Committed 28 Oct 2025 11:54AM UTC coverage: 29.033% (+0.001%) from 29.032%

Job # 18873894527.5

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

24012 of 82707 relevant lines covered (29.03%)

562100.42 hits per line

form-dev / form / 18873894527 / 5
57%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) - 18873894527.5

form-dev / form / 18873894527 / 5 57% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) - 18873894527.5

form-dev / form / 18873894527 / 5
57%
master: 57%

README BADGES
x