Skip to main content

run_trace_policy

Function run_trace_policy 

Source
pub fn run_trace_policy(
    policy: &Path,
    problem: &Path,
    params: Option<&Path>,
    max_expansions: Option<u64>,
    timeout_s: Option<f64>,
    json: bool,
    _seed: Option<u64>,
    out: Option<&Path>,
) -> Result<(), String>