jqwik should fail property test instead of ignoring it about jqwik HOT 7 CLOSED

Well, the test will be marked as ignored together with an ignore message "All parameters must have @forall annotation". Depending on your IDE / build tool configuration this can be as obvious as a test failure. What additional information would a test failure provide?

from jqwik.

For me it would be ok to fail this test with this message. AFAIK gradle reports an skipped test (if reporting) is enabled. But if i want gradle to fail the build i must distinguish between this case and a disabled junit test.

For me this is some kind of configuration error.. like @forall for a type without an known Arbitrary. It should fail, because i would not expect, that the test will be skipped.

from jqwik.

Hm. You're right, the behaviour is inconsistent. I'll put it on the TODO list. Should be done in next release.

from jqwik.

Thanks a lot:)

from jqwik.

Fixed in d1f899c

from jqwik.

Available in 1.1.3-SNAPSHOT

from jqwik.

Released in 1.1.3

from jqwik.