<< All versions

Skill v1.0.0

currentLLM-judged scan90/100
huangpustar/metainfer/cover-directions-and-boundaries
──Details
PublishedOctober 21, 2026 at 11:39 PM
Content Hashsha256:b105e7312f6ac602...
Git SHA9392007d474f
──Files
Files (1 file, 993 B)
SKILL.md993 Bactive
SKILL.md · 22 lines · 993 B

version: "1.0.0" name: cover-directions-and-boundaries description: 正确性用例必须覆盖两个数据方向和首尾/非对齐边界;单方向通过不得宣布正确。所有变体共用同一组用例。


用例覆盖方向与边界

何时触发:为实现/变体设计正确性用例集。

规则

  • 每个实现固定一组最小用例:两个数据方向(正反序/上下行/转置对称)、首块与尾块边界、非对齐形状。
  • 单方向通过不得宣布正确——方向不对称是高频 bug 形态:同一实现一个方向全对、另一个方向大面积错。
  • 边界(首块/尾块/掩码边缘/最后一个分块)单独构造用例,不靠常规用例顺带覆盖。
  • 所有变体用同一组用例,不得各用各的测试;用例集本身入版本管理。

反模式信号

  • "上行测过了"就宣布完成,下行一跑全错。
  • 只测整除规模,非对齐尾部一上来就越界或读垃圾。
All versions