wrapping genCov.ml