Skip to main content

eval_with

comindly_engine::eval

Function eval_with 

Source 
pub fn eval_with(
    fixture: &Path,
    only: Option<&[&str]>,
    scip: Option<&Path>,
) -> Result<EvalReport, Error>
Expand description

Like eval_fixture, limited to only repos (gold filtered to edges among them), with <scip>/<repo>.scip indexes attached where present.