HAL-2 fixed settings for coverage analysis and artifact names