form-dev / form / 20989073979

53%

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

15 of 18 new or added lines in 3 files covered. (83.33%)

11 existing lines in 2 files now uncovered.

44151 of 82771 relevant lines covered (53.34%)

5359911.88 hits per line