3
76%
master: 76%

Ran 16 May 2017 11:38PM UTC

Files 23

Run time 1s

Badge

Embed ▾

Committed 16 May 2017 11:25PM UTC coverage: 81.456% (+0.4%) from 81.043%

Job # OCAML_VERSION=4.04 COVERALLS=yes

Build Type

push

travis-ci

Committed by

aantron

Commit Message

do not add marks in clauses of the form `| p -> assert false`

Those clauses are now considered unreachable and ignored without
asking the user to explicitly use BISECT-IGNORE.

Note that arbitrary `assert false` expressions are not automatically
ignored: if you write `(foo; assert false)`, then either `foo` is dead
code or you consider that this `assert false` is reachable, so it is
good that you are warned either way. But the clause form is a common
idiom to indicate static unreachability, so it makes sense to handle
it specifically.

Run Details

817 of 1003 relevant lines covered (81.46%)

232.64 hits per line

aantron / bisect_ppx / 539 / 3
76%
master: 76%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 539.3 (OCAML_VERSION=4.04 COVERALLS=yes)

aantron / bisect_ppx / 539 / 3 76% master: 76%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 539.3 (OCAML_VERSION=4.04 COVERALLS=yes)

aantron / bisect_ppx / 539 / 3
76%
master: 76%

README BADGES
x