81
70%

Ran 06 Jul 2018 08:32AM UTC

Jobs 6

Files 6

Run time 1min

Badge

Build # 81

Build Type

push

travis-ci

Committed by

Commit Message

update paper to mention all examples

Run Details

40 of 44 branches covered (90.91%)

Branch coverage included in aggregate %.

248 of 285 relevant lines covered (87.02%)

5.21 hits per line

ID	Job ID	Ran	Coverage
1	81.1	06 Jul 2018 08:32AM UTC	86.93	Travis Job 81.1
2	81.2	06 Jul 2018 08:32AM UTC	86.93	Travis Job 81.2
3	81.3	06 Jul 2018 08:32AM UTC	87.54	Travis Job 81.3
4	81.4	06 Jul 2018 08:32AM UTC	87.54	Travis Job 81.4
5	81.5	06 Jul 2018 08:32AM UTC	87.54	Travis Job 81.5
6	81.6	06 Jul 2018 08:33AM UTC	87.54	Travis Job 81.6

Detailed source file information is not available for this build.