chanzuckerberg / miniwdl
95%
master: 97%

LAST BUILD BRANCH: release
DEFAULT BRANCH: master
Repo Added
Files 25
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH mlin-check-nested-quantifiers
branch: mlin-check-nested-quantifiers
CHANGE BRANCH
x

284

Pull #61

travis-ci-com

web-flow 
typecheck quantifiers in composite types

e.g. Array[Array[Int]] = [[:Int?:]]
Entailed pushing check_quant logic from Expr down into Type, and
consolidating OptionalCoercion and NonemptyArrayCoercion linters
into QuantityCoercion
Pull Request #61: typecheck quantifiers in composite types

35 of 35 new or added lines in 3 files covered. (100.0%)

2040 of 2151 relevant lines covered (94.84%)

0.95 hits per line

Relevant lines Covered
2151 RELEVANT LINES 2040 COVERED LINES
0.95 HITS PER LINE
Source Files on mlin-check-nested-quantifiers

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
284 mlin-check-nested-quantifiers typecheck quantifiers in composite types e.g. Array[Array[Int]] = [[:Int?:]] Entailed pushing check_quant logic from Expr down into Type, and consolidating OptionalCoercion and NonemptyArrayCoercion linters into QuantityCoercion Pull #61 web-flow travis-ci-com pending completion  
283 mlin-check-nested-quantifiers typecheck quantifiers in composite types e.g. Array[Array[Int]] = [[:Int?:]] Entailed pushing check_quant logic from Expr down into Type, and consolidating OptionalCoercion and NonemptyArrayCoercion linters into QuantityCoercion Pull #61 web-flow travis-ci pending completion  
283 mlin-check-nested-quantifiers typecheck quantifiers in composite types e.g. Array[Array[Int]] = [[:Int?:]] Entailed pushing check_quant logic from Expr down into Type, and consolidating OptionalCoercion and NonemptyArrayCoercion linters into QuantityCoercion push mlin travis-ci-com pending completion  
282 mlin-check-nested-quantifiers typecheck quantifiers in composite types e.g. Array[Array[Int]] = [[:Int?:]] Entailed pushing check_quant logic from Expr down into Type, and consolidating OptionalCoercion and NonemptyArrayCoercion linters into QuantityCoercion push mlin travis-ci pending completion  
See All Builds (2973)