4
53%
master: 53%

Ran 14 Jan 2026 09:43AM UTC

Files 62

Run time 5s

Badge

Embed ▾

Committed 14 Jan 2026 09:27AM UTC coverage: 30.453% (-0.02%) from 30.472%

Job # 20989073979.4

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

24902 of 81773 relevant lines covered (30.45%)

596888.49 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) (flint - no) - 20989073979.4

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) (flint - no) - 20989073979.4

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

README BADGES
x