805
92%

Ran 19 Jun 2020 05:12PM UTC

Jobs 3

Files 41

Run time 37s

Badge

Build # 805

Build Type

push

travis-ci

Committed by

Commit Message

relations: Compare phi up to PRECISION

Run Details

987 of 1112 branches covered (88.76%)

2 of 2 new or added lines in 1 file covered. (100.0%)

3459 of 3688 relevant lines covered (93.79%)

2.81 hits per line

ID	Job ID	Ran	Coverage
1	805.1	19 Jun 2020 05:12PM UTC	93.79	Travis Job 805.1
2	805.2	19 Jun 2020 05:12PM UTC	93.79	Travis Job 805.2
3	805.3	19 Jun 2020 05:12PM UTC	94.06	Travis Job 805.3