200
94%
main: 95%

Ran 23 Oct 2019 04:58AM UTC

Jobs 3

Files 60

Run time 16s

Badge

Build # 200

Build Type

push

travis-ci

Committed by

Commit Message

Fix property alias assignments in some counter properties: threshold, incrthreshold, saturate, incrsaturate

Run Details

7792 of 8520 relevant lines covered (91.46%)

2.74 hits per line

ID	Job ID	Ran	Files	Coverage
1	200.1	23 Oct 2019 04:58AM UTC	30	91.46	Travis Job 200.1
2	200.2	23 Oct 2019 04:58AM UTC	30	91.46	Travis Job 200.2
3	200.3	23 Oct 2019 04:58AM UTC	30	91.46	Travis Job 200.3