Skip to main content

plan_symbolic_regression

Function plan_symbolic_regression 

Source
fn plan_symbolic_regression(
    config: &Config,
    regression: &SymbolicRegressionConfig,
    artifact_path: &Path,
    artifact: &SymbolicCounterexampleArtifact,
    known_contracts: &ContractsByArtifact,
    suffix: Option<&str>,
) -> Result<PlannedSymbolicRegression>