ERROR: coverage merge failed