8
53%
master: 53%

Ran 09 Jul 2025 12:05PM UTC

Files 66

Run time 4s

Badge

Embed ▾

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

Job # 16168567412.8

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

38313 of 78504 relevant lines covered (48.8%)

456339.11 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job vorm (default) (flint - no) - 16168567412.8

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job vorm (default) (flint - no) - 16168567412.8

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

README BADGES
x