133
71%

Ran 02 Oct 2016 03:31PM UTC

Jobs 3

Files 88

Run time 1152266min

Badge

Build # 133

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	Coverage
1	133.1 (RACKET_VERSION=6.5)	11 Dec 2018 07:58PM UTC		Travis Job 133.1
2	133.2 (RACKET_VERSION=6.6)	02 Oct 2016 03:31PM UTC	70.85	Travis Job 133.2
3	133.3 (RACKET_VERSION=HEAD)	02 Oct 2016 03:36PM UTC	70.85	Travis Job 133.3