pmat 3.15.0

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
1
2
3
4
5
6
7
8
9
10

//! Coverage tests split for file health compliance (CB-040)
mod coverage_tests {
    use super::*;
    use crate::ast::core::{Location, ProofAnnotation};

    include!("coverage_tests_part1.rs");
    include!("coverage_tests_part2.rs");
    include!("coverage_tests_part3.rs");
    include!("coverage_tests_part4.rs");
}