Bisect report

Bisect report

Overall statistics

kind		coverage
binding		481 / 553 (86%)
sequence		30 / 59 (50%)
for		0 / 0 (-%)
if/then		226 / 238 (94%)
try		20 / 23 (86%)
while		0 / 0 (-%)
match/function		508 / 607 (83%)

kind		coverage
class expression		0 / 0 (-%)
class initializer		0 / 0 (-%)
class method		0 / 0 (-%)
class value		0 / 0 (-%)
toplevel expression		1 / 1 (100%)
lazy operator		123 / 123 (100%)

Per-file coverage

coverage

file

100%

src/absencelattice.ml

95%

src/analysislattice.ml

-%

94%

src/edslcheck.ml

100%

src/envlattice.ml

0%

89%

6%

-%

100%

src/numberlattice.ml

97%

src/proplattice.ml

99%

src/statelattice.ml

94%

src/storelattice.ml

97%

src/stringlattice.ml

98%

src/valuelattice.ml

86%

total