merge coverage impl
Merge branch 'master' into coverageMerge
typo
migration to asm5

merge
compilation fixed