在假设中跳过伪造的例子

Question

故事：

我目前正在使用hypothesis 和custom generation strategy 对函数进行单元测试，试图找到一个特定的输入来“破坏”我当前的解决方案。这是我的测试的样子：

from solution import answer

# skipping mystrategy definition - not relevant

@given(mystrategy)
def test(l):
    assert answer(l) in {0, 1, 2}

基本上，当answer() 函数不返回 0 或 1 或 2 时，我正在寻找可能的输入。

这是我的当前工作流程的样子：

• 运行测试

• hypothesis 查找产生AssertionError 的输入：

  $ pytest test.py 
  =========================================== test session starts ============================================
  ...
  ------------------------------------------------ Hypothesis ------------------------------------------------
  Falsifying example: test(l=[[0], [1]])
  

• 使用此特定输入调试函数，尝试了解此输入/输出是否合法且函数是否正常工作

问题：

如何跳过这个伪造的生成示例（在这种情况下为[[0], [1]]）并要求hypothesis 为我生成一个不同的示例？

---

这个问题也可以解释为：如果发现一个伪造的例子，我可以要求hypothesis不要终止，而是生成更多的伪造例子吗？

Answer 1

目前没有办法让 Hypothesis 在发现失败后继续尝试（它可能会在某个时候发生，但目前还不清楚应该采取什么样的正确行为，而且这不是优先事项），但是您可以使用assume 功能让它忽略特定类别的故障。​​

例如你可以跳过这个例子：

@given(mystrategy)
def test(l):
    assume(l != [[0], [1]])
    assert answer(l) in {0, 1, 2}

Hypothesis 将跳过您调用带有 False 参数的任何示例，并且不将它们计入它运行的示例预算。

您可能会发现这只会导致示例的细微变化，但您可以传递更复杂的表达式来假设忽略示例类别。

您的实际用例是什么？她的正常预期使用模式是修复导致假设失败的错误并让它以这种方式找到新的错误。我知道这并不总是实用的，但我对原因很感兴趣。