539
76%

Ran 16 May 2017 11:38PM UTC

Jobs 1

Files 23

Run time 1s

Badge

Embed ▾

pending completion

Build # 539

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

Jobs

ID	Job ID	Ran	Files	Coverage
3	539.3 (OCAML_VERSION=4.04 COVERALLS=yes)	16 May 2017 11:38PM UTC	0	81.46	Travis Job 539.3

Source Files on build 539

Detailed source file information is not available for this build.

aantron / bisect_ppx / 539
76%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 539

aantron / bisect_ppx / 539 76%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 539

aantron / bisect_ppx / 539
76%

README BADGES
x