Skip to main content

minimum_test_set

supercov_engine::coverage_query

Function minimum_test_set 

Source 
pub fn minimum_test_set(
    view: &CoverageView,
    target: f64,
    metric: MinimizeMetric,
    max_states: usize,
) -> Result<MinimumTestSetResult, QueryError>