Package net.jqwik.api.stateful