132
71%
master: 71%

Ran 02 Oct 2016 03:14PM UTC

Jobs 2

Files 88

Run time 1min

Badge

Build # 132

Build Type

push

travis-ci

Committed by

Commit Message

Documented all identifiers used by phc-adt

Run Details

1874 of 2645 relevant lines covered (70.85%)

1.42 hits per line

ID	Job ID	Ran	Files	Coverage
2	132.2 (RACKET_VERSION=6.6)	02 Oct 2016 03:14PM UTC	0	70.85	Travis Job 132.2
3	132.3 (RACKET_VERSION=HEAD)	02 Oct 2016 03:15PM UTC	0	70.85	Travis Job 132.3