Skip to main content

parse_dir

Function parse_dir 

Source
pub fn parse_dir(dir: &Path) -> Result<(Manifest, ParseReport), ParseReport>
Expand description

Reads trace/exploration_tree.yaml (required) and logic/claims.md (optional) from dir and normalizes them. Native only.