Hypothesis

结论先行：示例测试（example-based）验证的是"我想到过的输入"，属性测试（property-based）验证的是"对所有输入都该成立的规则"。前者靠枚举，后者靠不变量。这两者补的不是同一块盲区——我上一篇讲变异测试补"断言有没有