393
89%

Ran 04 Nov 2019 02:13AM UTC

Jobs 7

Files 60

Run time 28min

Badge

Build # 393

Build Type

push

travis-ci

Committed by

Commit Message

Make integer constraint flexible (#126)

* add a note

* fix type def

Run Details

2026 of 2326 relevant lines covered (87.1%)

73186825.01 hits per line

ID	Job ID	Ran	Coverage
1	393.1	04 Nov 2019 02:14AM UTC	75.73	Travis Job 393.1
2	393.2	04 Nov 2019 02:13AM UTC	88.12	Travis Job 393.2
3	393.3	04 Nov 2019 02:16AM UTC	87.22	Travis Job 393.3
5	393.5	04 Nov 2019 02:17AM UTC	75.99	Travis Job 393.5
7	393.7	04 Nov 2019 02:27AM UTC	75.73	Travis Job 393.7
8	393.8	04 Nov 2019 02:27AM UTC	88.57	Travis Job 393.8
9	393.9	04 Nov 2019 02:41AM UTC	87.22	Travis Job 393.9

Detailed source file information is not available for this build.