Bisect report

Bisect report

Overall statistics

kind		coverage
binding		610 / 628 (97%)
sequence		68 / 97 (70%)
for		0 / 0 (-%)
if/then		278 / 291 (95%)
try		23 / 25 (92%)
while		0 / 0 (-%)
match/function		791 / 877 (90%)

kind		coverage
class expression		0 / 0 (-%)
class initializer		0 / 0 (-%)
class method		0 / 0 (-%)
class value		0 / 0 (-%)
toplevel expression		4 / 4 (100%)
lazy operator		140 / 141 (99%)

Per-file coverage

coverage

file

100%

src/absencelattice.ml

100%

src/analysislattice.ml

-%

94%

src/edslcheck.ml

100%

src/envlattice.ml

0%

-%

src/frontend.ml

89%

99%

-%

100%

src/numberlattice.ml

100%

97%

src/proplattice.ml

66%

75%

src/scanner.mll

99%

src/statelattice.ml

98%

src/storelattice.ml

100%

src/stringlattice.ml

64%

96%

src/transfer.ml

100%

src/valuelattice.ml

92%

total