invariant-test-review - 审查测试以验证不变量证明有效性测试测试审查不变量状态机★ 1 · 更新于 2026-03-22通过检查设置、断言和比较器来验证测试是否真正证明了其声称的不变量⚙ 审查测试文件⚙ 审查测试函数⚙ 识别声称的不变量
