| Class and Description |
|---|
| net.jqwik.api.Statistics
Use
Statistics instead. Will be removed in version 1.3. |
| Method and Description |
|---|
| net.jqwik.api.Statistics.collect(Object...)
Use
Statistics.collect(Object...) instead. Will be removed in version 1.3. |
| net.jqwik.api.Statistics.label(String)
Use
Statistics.label(String) instead. Will be removed in version 1.3. |
| net.jqwik.api.lifecycle.TryLifecycleContext.propertyContext() |
| net.jqwik.api.RandomGenerator.RandomGeneratorFacade.withSamples(RandomGenerator<T>, T[]) |
| net.jqwik.api.RandomGenerator.withSamples(T...) |
| net.jqwik.api.Arbitrary.withSamples(T...)
Use something like
Arbitraries.oneOf(myArbitrary, Arbitraries.of(samples)). Will be removed in version 1.3. |