Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions src/perf_gate.rs
Original file line number Diff line number Diff line change
Expand Up @@ -27,9 +27,9 @@
//! - **零新依赖**:只做逐字节扫描,不解析 SQL、不连数据库;
//! - **关联方式全是位置性的**:生产区 = 文件里第一次出现行首 `#[cfg(test)]` 之前的部分
//! (`src/routes/*.rs` 的测试模块一律在文件末尾且 `#[cfg(test)]` 顶格);
//! - **阳性对照**:断言「扫描到 4 个文件」「闭区间重写逐文件计数」「测试里的旧写法
//! 仍在(证明区域切分没多吃)」;检测器本身另有合成输入的阴性/阳性对照,
//! 保证它不会在空集上「通过」(C2005 坑 68)。
//! - **阳性对照**:断言「路由文件名册的条目数(`FILES.len()` 对照写死的期望值)」、
//! 「闭区间重写逐文件计数」「测试里的旧写法仍在(证明区域切分没多吃)」;
//! 检测器本身另有合成输入的阴性/阳性对照,保证它不会在空集上「通过」(C2005 坑 68)。

/// 编译期读入各文件(测试不依赖工作目录与文件系统布局)。
const FILES: &[(&str, &str)] = &[
Expand Down
Loading