是否可以在同一个测试文件中混合使用 jqwik @属性 方法和 junit5 @Test 方法?

Is it possible to mix jqwik @Property methods and junit5 @Test methods in the same test file?

我正在使用假设移植一些 Python 代码,并尽量保持源代码接近。 python 测试文件既有参数化方法,也有非参数化方法。如果我将它们全部标记为@属性,非参数化(因此相同)方法将被调用 1000 次。

刚刚学习 jqwik,所以可能缺少一些简单的东西。如果没有,我会把它们分成两个文件。谢谢

例如基于测试的 jqwik 有注解 @Example,这将 运行 你的测试方法一次。将其用于非参数化测试。