带有Action.Dependent的链抛出JqwikException:空值集

Question

我正在使用Jqwik进行状态测试。我所面对的问题如下：

操作链包含一组可生成空仲裁的状态相关操作(例如:不应为空堆栈生成"pop“操作)。有些操作是独立于状态的，并且始终是“生产性的”(比如“推”堆栈上的值)。

问题是，操作链是随机生成的，有时只选择非生产性操作，这反过来产生空链，并在net.jqwik.api.JqwikException:空值集中结束。

增加对“生产性”行动的重视可以缓解这一问题，但并没有解决问题。

是否有方法确保始终选择至少一个“生产性”操作，从而生成的操作链总是非空的？

我尝试过将ActionChain.independent()与endOfChain()转换器结合使用，但这并没有帮助。

Answer 1

正如johanneslink所提到的，为此，我应该实现Action.precondition()。谢谢。