1
53%
master: 53%

Ran 14 Jan 2026 09:43AM UTC

Files 61

Run time 5s

Badge

Embed ▾

Committed 14 Jan 2026 09:27AM UTC coverage: 29.627% (+0.007%) from 29.62%

Job # 20989073979.1

Build Type

push

github

Committed by

cbmarini

Commit Message

fix: handle zero-valued floats correctly

- Recognize 0.0 as a valid float in CheckFloat and tokenize.
- Represent 0.0 as float_(prec,0,0,0) (instead of float_(prec,0,0))  so it is accepted by TestFloat.
- Keep terms with floating-point coefficient 0.0 after sorting; they can be removed explicitly via Chop.
- Allow Chop to accept 0 and 0.0 as arguments (although it would have not effect).
- Fix related float-handling bugs in CoIf.
- Add tests covering multiple representations of floating-point zero.

Run Details

23157 of 78162 relevant lines covered (29.63%)

621146.53 hits per line

form-dev / form / 20989073979 / 1
53%
master: 53%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job vorm (extra) (flint - no) - 20989073979.1

form-dev / form / 20989073979 / 1 53% master: 53%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job vorm (extra) (flint - no) - 20989073979.1

form-dev / form / 20989073979 / 1
53%
master: 53%

README BADGES
x