Bisect report



Overall statistics
kind coverage
binding 279 / 303 (92%)
sequence 40 / 69 (57%)
for 0 / 0 (-%)
if/then 182 / 265 (68%)
try 19 / 22 (86%)
while 0 / 0 (-%)
match/function 525 / 662 (79%)
kind coverage
class expression 0 / 0 (-%)
class initializer 0 / 0 (-%)
class method 0 / 0 (-%)
class value 0 / 0 (-%)
toplevel expression 3 / 3 (100%)
lazy operator 118 / 125 (94%)




Per-file coverage
coverage   file
 81%
  src/absencelattice.ml
 81%
  src/analysislattice.ml
 -%
  src/ast.ml
 90%
  src/envlattice.ml
 0%
  src/error.ml
 -%
  src/frontend.ml
 99%
  src/label.ml
 -%
  src/last.ml
 100%
  src/numberlattice.ml
 100%
  src/parser.ml
 56%
  src/proplattice.ml
 66%
  src/scanner.ml
 75%
  src/scanner.mll
 71%
  src/statelattice.ml
 89%
  src/storelattice.ml
 69%
  src/stringlattice.ml
 64%
  src/test.ml
 96%
  src/transfer.ml
 95%
  src/valuelattice.ml
 80%
  total