let option_name = "-metrics-value-cover"