可以在同一测试文件中混合使用jqwik @Property方法和junit5 @Test方法吗？

Question

我正在使用假设移植一些Python代码，并试图使源代码尽可能接近。python测试文件既有参数化方法，也有非参数化方法。如果我将它们都标记为@Property，那么非参数化(以及相同的)方法会被调用1000次。

只是在学习jqwik，所以可能会错过一些简单的东西。如果没有，我就把它们分成两个文件。谢谢。

Answer 1

例如，基于jqwik的测试具有注释@Example，它将只运行您的测试方法一次。将其用于非参数化测试。