package es.usj.svit.simuhaff.approach.simulation typealias Coverage = Pair, Float> data class OracleCoverage(val name: String, val coverage: Coverage)