Как указать @ForAll ненулевые целые числа (т. е. включить как положительные, так и отрицательные целые числа или исключить 0 из диапазона целых чисел)? Я не смог найти ничего на https://jqwik.net/docs/current/user-gui ... onstraints.
Подробнее здесь: https://stackoverflow.com/questions/689 ... o-integers
