MLcov — Coverage Report (file queens.ml)

generated by MLcov, version 1.2


Structural coverage statistics

Function nameCovered pointsTotal pointsPercentage
append22100.0 %
map22100.0 %
iter020.0 %
interval22100.0 %
concmap22100.0 %
list_length22100.0 %
safe11100.0 %
ok010.0 %
filter33100.0 %
range11100.0 %
print_bool010.0 %
print_bl010.0 %
print_bll020.0 %
queens55100.0 %
_11100.0 %
_11100.0 %
_11100.0 %
TOTAL233076.6 %

MC/DC statistics

Decision numberCovered conditionsTotal conditionsPercentage
#1 (interval)11100.0 %
#2 (safe)44100.0 %
#3 (ok)11100.0 %
#4 (filter)11100.0 %
TOTAL77100.0 %