12
53%
master: 53%

Ran 09 Jul 2025 12:05PM UTC

Files 67

Run time 4s

Badge

Embed ▾

Committed 09 Jul 2025 11:52AM UTC coverage: 49.091% (+0.3%) from 48.783%

Job # 16168567412.12

Build Type

push

github

Committed by

cbmarini

Commit Message

fix: make float printing consistend and independent of MZV weight

- Removed double SetFloatPrecision call. Now only called once from DoStartFloat.
- Fixed precision handling in SimpleDelta and SimpleDeltaC.
- Adjusted printed digits to avoid overprinting from gmp_snprintf.

test: adjusted the test evaluate_symbol accordingly and added two tests for the evaluation of MZV's.

Run Details

40310 of 82112 relevant lines covered (49.09%)

423035.95 hits per line

form-dev / form / 16168567412 / 12
53%
master: 53%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

form-dev / form / 16168567412 / 12 53% master: 53%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

form-dev / form / 16168567412 / 12
53%
master: 53%

README BADGES
x