working on genCov.ml