Diff Coverage

Diff: upstream/main...HEAD, staged and unstaged changes

Source File Diff Coverage (%) Missing Lines
crates/conjure-cp-cli/src/pretty.rs 50.0% 35
crates/conjure-cp-cli/src/utils/testing.rs 100%  
crates/conjure-cp-core/src/ast/domains/attrs.rs 100%  
crates/conjure-cp-core/src/ast/model.rs 0.0% 564-567,569-574
crates/conjure-cp-cli/src/pretty.rs
31
32
33
34
35
36
37
38
39
        "expression-domains" => serialize_domains(&model),
        // "add_new_flag" => method(),
        _ => {
            return Err(anyhow!(
                "Unknown output format {}; supports [ast-json, expression-domains]",
                &pretty_args.output_format
            ));
        }
    };
crates/conjure-cp-core/src/ast/model.rs
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
    children: Vec<ExprInfo>,
}

impl ExprInfo {
    pub fn create(expr: &Expression) -> ExprInfo {
        let pretty = expr.to_string();
        let domain = expr.domain_of();
        let children = expr.children().iter().map(Self::create).collect();

        ExprInfo {
            pretty,
            domain,
            children,
        }
    }
}