1142
90%
master: 92%

Ran 03 Jul 2018 08:20AM UTC

Jobs 7

Files 10

Run time 6min

Badge

Build # 1142

Build Type

push

travis-ci

Committed by

Commit Message

Update fivefold repetition rule (fixes #295)

Run Details

6661 of 7362 relevant lines covered (90.48%)

6.18 hits per line

ID	Job ID	Ran	Files	Coverage
1	1142.1	03 Jul 2018 08:20AM UTC	10	90.36	Travis Job 1142.1
2	1142.2	03 Jul 2018 08:22AM UTC	10	90.21	Travis Job 1142.2
3	1142.3	03 Jul 2018 08:21AM UTC	10	90.18	Travis Job 1142.3
4	1142.4	03 Jul 2018 08:21AM UTC	10	90.22	Travis Job 1142.4
5	1142.5	03 Jul 2018 08:20AM UTC	10	90.19	Travis Job 1142.5
6	1142.6	03 Jul 2018 08:24AM UTC	10	78.85	Travis Job 1142.6
7	1142.7	03 Jul 2018 08:26AM UTC	10	88.49	Travis Job 1142.7