#4432
91%
master: 92%

Ran 17 Nov 2017 10:36PM UTC

Jobs 1

Files 222

Run time 13s

Badge

Build # #4432

Build Type

circleci

Committed by

Commit Message

High level description of type system, assertions vs. conversion

Run Details

5435 of 6503 branches covered (83.58%)

10503 of 11486 relevant lines covered (91.44%)

72389.45 hits per line

ID	Job ID	Ran	Files	Coverage
1	#4432.1	17 Nov 2017 10:36PM UTC	0	91.44	CircleCI Job