7
57%
master: 57%

Ran 28 Oct 2025 12:11PM UTC

Files 64

Run time 4s

Badge

Embed ▾

Committed 28 Oct 2025 11:54AM UTC coverage: 28.126% (-0.02%) from 28.146%

Job # 18873894527.7

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

22245 of 79090 relevant lines covered (28.13%)

584530.72 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job vorm (extra) - 18873894527.7

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job vorm (extra) - 18873894527.7

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

README BADGES
x