Skip to main content

plan

Function plan 

Source
pub fn plan(context: &Context) -> PlanningResult
Expand description

Build execution plans for one or more Lemma specs.

Iterates every spec, filters effective dates to its validity range, builds a per-spec DAG and ExecutionPlan for each slice.