coverage

record coverage {
  value: string,
}