Fixes GH issue #118 "Division by zero when there are no relevant expressions #1
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "fix-div-by-zero--issue-118"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fixed by showing 100% coverage in that case (100% is what coveralls.io shows when there are no relevant lines).
Coverage increased (+0.3%) to 93.78% when pulling
835c9f8cdd
on fix-div-by-zero--issue-118 into7a5e12cd42
on master.Pull request closed