441
93%

Ran 13 Feb 2019 08:58PM UTC

Jobs 3

Files 10

Run time 99min

Badge

Build # 441

Build Type

push

travis-ci

Committed by

Commit Message

Faster finite forward. (#99)

Run Details

457 of 510 relevant lines covered (89.61%)

46.48 hits per line

ID	Job ID	Ran	Coverage
2	441.2	13 Feb 2019 08:59PM UTC	73.14	Travis Job 441.2
3	441.3	13 Feb 2019 09:04PM UTC	89.24	Travis Job 441.3
4	441.4	13 Feb 2019 08:58PM UTC	89.24	Travis Job 441.4

Detailed source file information is not available for this build.