checkpoint

fun checkpoint(coverage: String)