├── .editorconfig ├── .gitattributes ├── .github ├── FUNDING.yml ├── ISSUE_TEMPLATE.MD ├── PULL_REQUEST_TEMPLATE.md ├── dependabot.yml └── workflows │ ├── gradle.yml │ ├── matrix.js │ └── matrix_builder.js ├── .gitignore ├── .idea └── icon.png ├── BACKLOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── FEATURE_USAGE_SURVEY.md ├── LICENSE.md ├── README.md ├── TODO.md ├── api ├── build.gradle └── src │ └── main │ ├── java │ └── net │ │ └── jqwik │ │ └── api │ │ ├── AfterFailureMode.java │ │ ├── Arbitraries.java │ │ ├── Arbitrary.java │ │ ├── ArbitrarySupplier.java │ │ ├── Assume.java │ │ ├── Builders.java │ │ ├── CannotFindArbitraryException.java │ │ ├── Combinators.java │ │ ├── Data.java │ │ ├── Disabled.java │ │ ├── EdgeCases.java │ │ ├── EdgeCasesMode.java │ │ ├── Example.java │ │ ├── ExhaustiveGenerator.java │ │ ├── FacadeLoader.java │ │ ├── Falsifier.java │ │ ├── FixedSeedMode.java │ │ ├── ForAll.java │ │ ├── From.java │ │ ├── FromData.java │ │ ├── Functions.java │ │ ├── GenerationMode.java │ │ ├── Group.java │ │ ├── JavaBeanReportingFormat.java │ │ ├── JqwikException.java │ │ ├── Label.java │ │ ├── Property.java │ │ ├── PropertyDefaults.java │ │ ├── Provide.java │ │ ├── RandomDistribution.java │ │ ├── RandomGenerator.java │ │ ├── Report.java │ │ ├── Reporter.java │ │ ├── Reporting.java │ │ ├── SampleReportingFormat.java │ │ ├── Shrinkable.java │ │ ├── ShrinkingDistance.java │ │ ├── ShrinkingDistanceArraysSupport.java │ │ ├── ShrinkingMode.java │ │ ├── Table.java │ │ ├── Tag.java │ │ ├── TagList.java │ │ ├── TooManyFilterMissesException.java │ │ ├── Tuple.java │ │ ├── arbitraries │ │ ├── ArbitraryDecorator.java │ │ ├── ArrayArbitrary.java │ │ ├── BigDecimalArbitrary.java │ │ ├── BigIntegerArbitrary.java │ │ ├── ByteArbitrary.java │ │ ├── CharacterArbitrary.java │ │ ├── DoubleArbitrary.java │ │ ├── FloatArbitrary.java │ │ ├── FunctionArbitrary.java │ │ ├── IntegerArbitrary.java │ │ ├── IteratorArbitrary.java │ │ ├── ListArbitrary.java │ │ ├── LongArbitrary.java │ │ ├── MapArbitrary.java │ │ ├── NumericalArbitrary.java │ │ ├── SetArbitrary.java │ │ ├── ShortArbitrary.java │ │ ├── SizableArbitrary.java │ │ ├── StreamArbitrary.java │ │ ├── StreamableArbitrary.java │ │ ├── StringArbitrary.java │ │ ├── TraverseArbitrary.java │ │ ├── TypeArbitrary.java │ │ └── package-info.java │ │ ├── configurators │ │ ├── ArbitraryConfigurationException.java │ │ ├── ArbitraryConfigurator.java │ │ ├── ArbitraryConfiguratorBase.java │ │ ├── SelfConfiguringArbitrary.java │ │ └── package-info.java │ │ ├── constraints │ │ ├── AlphaChars.java │ │ ├── BigRange.java │ │ ├── ByteRange.java │ │ ├── CharRange.java │ │ ├── CharRangeList.java │ │ ├── Chars.java │ │ ├── CharsList.java │ │ ├── DoubleRange.java │ │ ├── FloatRange.java │ │ ├── IntRange.java │ │ ├── LongRange.java │ │ ├── LowerChars.java │ │ ├── Negative.java │ │ ├── NotBlank.java │ │ ├── NotEmpty.java │ │ ├── NumericChars.java │ │ ├── Positive.java │ │ ├── Scale.java │ │ ├── ShortRange.java │ │ ├── Size.java │ │ ├── StringLength.java │ │ ├── UniqueChars.java │ │ ├── UniqueElements.java │ │ ├── UpperChars.java │ │ ├── UseType.java │ │ ├── UseTypeMode.java │ │ ├── Whitespace.java │ │ ├── WithNull.java │ │ └── package-info.java │ │ ├── domains │ │ ├── Domain.java │ │ ├── DomainContext.java │ │ ├── DomainContextBase.java │ │ ├── DomainList.java │ │ └── package-info.java │ │ ├── facades │ │ ├── ReflectionSupportFacade.java │ │ ├── ShrinkingSupportFacade.java │ │ ├── TestingSupportFacade.java │ │ └── package-info.java │ │ ├── footnotes │ │ ├── EnableFootnotes.java │ │ ├── Footnotes.java │ │ ├── FootnotesHook.java │ │ └── package-info.java │ │ ├── lifecycle │ │ ├── AddLifecycleHook.java │ │ ├── AfterContainer.java │ │ ├── AfterContainerHook.java │ │ ├── AfterExample.java │ │ ├── AfterProperty.java │ │ ├── AfterTry.java │ │ ├── AroundContainerHook.java │ │ ├── AroundPropertyHook.java │ │ ├── AroundTryHook.java │ │ ├── BeforeContainer.java │ │ ├── BeforeContainerHook.java │ │ ├── BeforeExample.java │ │ ├── BeforeProperty.java │ │ ├── BeforeTry.java │ │ ├── CannotFindStoreException.java │ │ ├── CannotResolveParameterException.java │ │ ├── ContainerLifecycleContext.java │ │ ├── FalsifiedSample.java │ │ ├── InvokePropertyMethodHook.java │ │ ├── LifecycleContext.java │ │ ├── LifecycleHook.java │ │ ├── LifecycleHooks.java │ │ ├── Lifespan.java │ │ ├── MethodLifecycleContext.java │ │ ├── ParameterResolutionContext.java │ │ ├── PerProperty.java │ │ ├── PropagationMode.java │ │ ├── PropertyAttributes.java │ │ ├── PropertyExecutionResult.java │ │ ├── PropertyExecutor.java │ │ ├── PropertyLifecycleContext.java │ │ ├── ProvidePropertyInstanceHook.java │ │ ├── RegistrarHook.java │ │ ├── ResolveParameterHook.java │ │ ├── ShrunkFalsifiedSample.java │ │ ├── SkipExecutionHook.java │ │ ├── Store.java │ │ ├── TryExecutionResult.java │ │ ├── TryExecutor.java │ │ ├── TryLifecycleContext.java │ │ └── package-info.java │ │ ├── package-info.java │ │ ├── providers │ │ ├── ArbitraryProvider.java │ │ ├── TypeUsage.java │ │ └── package-info.java │ │ ├── sessions │ │ ├── JqwikSession.java │ │ └── package-info.java │ │ ├── state │ │ ├── Action.java │ │ ├── ActionBuilder.java │ │ ├── ActionChain.java │ │ ├── ActionChainArbitrary.java │ │ ├── Chain.java │ │ ├── ChainArbitrary.java │ │ ├── ChangeDetector.java │ │ ├── Transformation.java │ │ ├── Transformer.java │ │ └── package-info.java │ │ ├── stateful │ │ ├── Action.java │ │ ├── ActionSequence.java │ │ ├── ActionSequenceArbitrary.java │ │ ├── Invariant.java │ │ └── package-info.java │ │ ├── statistics │ │ ├── Histogram.java │ │ ├── NumberRangeHistogram.java │ │ ├── Statistics.java │ │ ├── StatisticsCollector.java │ │ ├── StatisticsCoverage.java │ │ ├── StatisticsEntry.java │ │ ├── StatisticsReport.java │ │ ├── StatisticsReportFormat.java │ │ ├── StatisticsReportList.java │ │ └── package-info.java │ │ └── support │ │ ├── CollectorsSupport.java │ │ ├── ExceptionSupport.java │ │ ├── HashCodeSupport.java │ │ ├── LambdaSupport.java │ │ └── package-info.java │ └── module │ └── module-info.java ├── base ├── build.gradle └── src │ └── main │ └── module │ └── module-info.java ├── dependencies.gradle ├── documentation ├── README.md ├── build.gradle └── src │ ├── docs │ ├── include │ │ ├── api-evolution.md │ │ ├── assumptions.md │ │ ├── collecting-and-reporting-statistics.md │ │ ├── combining-arbitraries.md │ │ ├── contract-tests.md │ │ ├── customized-parameter-generation.md │ │ ├── data-driven-properties.md │ │ ├── default-parameter-generation.md │ │ ├── domain-and-domain-context.md │ │ ├── exhaustive-generation.md │ │ ├── generation-from-type.md │ │ ├── generation-of-edge-cases.md │ │ ├── how-to-use.md │ │ ├── implement-your-own.md │ │ ├── jqwik-configuration.md │ │ ├── kotlin-module.md │ │ ├── lifecycle-hooks.md │ │ ├── providing-default-arbitraries.md │ │ ├── recursive-arbitraries.md │ │ ├── rerunning-falsified-properties.md │ │ ├── result-shrinking.md │ │ ├── stateful-testing-old.md │ │ ├── stateful-testing.md │ │ ├── testing-module.md │ │ ├── time-module.md │ │ ├── using-arbitraries-directly.md │ │ ├── web-module.md │ │ └── writing-properties.md │ ├── index.template.html │ └── user-guide.template.md │ └── test │ ├── java │ └── net │ │ └── jqwik │ │ ├── MakeGradleHappyTests.java │ │ └── docs │ │ ├── ArbitrarySupplierExamples.java │ │ ├── AssumptionExamples.java │ │ ├── BuildersExamples.java │ │ ├── ChoosingExamples.java │ │ ├── CombinatorsExamples.java │ │ ├── DataDrivenPropertyExamples.java │ │ ├── DatesExamples.java │ │ ├── EdgeCasesExamples.java │ │ ├── ExampleBasedTests.java │ │ ├── ExhaustiveGenerationExamples.java │ │ ├── FizzBuzzTests.java │ │ ├── FlatMappingExamples.java │ │ ├── FluentConfigurationExamples.java │ │ ├── ForEachValueExamples.java │ │ ├── FrequencyOfExamples.java │ │ ├── FunctionalTypeExamples.java │ │ ├── GermanText.java │ │ ├── InjectDuplicateExamples.java │ │ ├── MappingExamples.java │ │ ├── MapsExamples.java │ │ ├── NamingExamples.java │ │ ├── OneOfExamples.java │ │ ├── PropertyBasedTests.java │ │ ├── PropertyDefaultsExamples.java │ │ ├── ProvideMethodExamples.java │ │ ├── RandomDistributionExamples.java │ │ ├── RecursiveExamples.java │ │ ├── SamplingExamples.java │ │ ├── SelfMadeAnnotationExamples.java │ │ ├── ShrinkingExamples.java │ │ ├── ShrinkingFilterExamples.java │ │ ├── ShrinkingTargetExamples.java │ │ ├── SimpleExampleTests.java │ │ ├── SimpleLifecycleTests.java │ │ ├── TaggingExamples.java │ │ ├── TestsWithGroups.java │ │ ├── UniquenessExamples.java │ │ ├── VariableTypedPropertyExamples.java │ │ ├── arbitraryconfigurator │ │ ├── NotNull.java │ │ ├── NotNullConfigurator.java │ │ ├── NotNullProperties.java │ │ ├── Odd.java │ │ ├── OddConfigurator.java │ │ └── OddProperties.java │ │ ├── arbitrarydecorator │ │ ├── ArbitraryDecoratorExamples.java │ │ ├── ComplexNumber.java │ │ └── ComplexNumberArbitrary.java │ │ ├── contracts │ │ ├── ComparatorContract.java │ │ ├── StringCaseInsensitiveProperties.java │ │ └── eurocalc │ │ │ ├── ConstrainedBy.java │ │ │ ├── Constraint.java │ │ │ ├── ContractFor.java │ │ │ ├── EuroConverter.java │ │ │ ├── RateProvider.java │ │ │ ├── RateProviderContractProperties.java │ │ │ └── SimpleRateProvider.java │ │ ├── defaultprovider │ │ ├── AlternativeStringArbitraryProvider.java │ │ ├── Money.java │ │ ├── MoneyArbitraryProvider.java │ │ ├── MoneyProperties.java │ │ └── StringProperties.java │ │ ├── domains │ │ ├── Address.java │ │ ├── AddressProperties.java │ │ ├── AmericanAddresses.java │ │ ├── City.java │ │ ├── State.java │ │ └── Street.java │ │ ├── footnotes │ │ └── FootnotesExamples.java │ │ ├── kotlin │ │ ├── CombineExamples.kt │ │ ├── CoroutineExamples.kt │ │ ├── GroupingExamples.kt │ │ ├── InlineClassExamples.kt │ │ ├── KotlinFunctionExamples.kt │ │ ├── KotlinSingletonExample.kt │ │ ├── NullabilityExamples.kt │ │ └── UseTypeWithDataclassesExamples.kt │ │ ├── lifecycle │ │ ├── AroundContainerHookExamples.java │ │ ├── AroundPropertyHookExamples.java │ │ ├── AroundTryHookExamples.java │ │ ├── BeforeTryMemberExample.java │ │ ├── FullLifecycleExamples.java │ │ ├── LifecycleStorageExamples.java │ │ ├── PerPropertyLifecycleExamples.java │ │ ├── ResolveParameterHookExamples.java │ │ ├── SkipExecutionHookExample.java │ │ ├── Timing.java │ │ └── TimingExtensionExamples.java │ │ ├── reporting │ │ └── SampleReportingExamples.java │ │ ├── state │ │ ├── RegexChainExample.java │ │ ├── mystack │ │ │ ├── MyStringStack.java │ │ │ └── MyStringStackExamples.java │ │ └── mystore │ │ │ ├── MyStore.java │ │ │ └── MyStoreExamples.java │ │ ├── stateful │ │ └── mystack │ │ │ ├── ClearAction.java │ │ │ ├── MyStringStack.java │ │ │ ├── MyStringStackProperties.java │ │ │ ├── PopAction.java │ │ │ └── PushAction.java │ │ ├── statistics │ │ ├── HistogramExamples.java │ │ ├── StatisticsCoverageExamples.java │ │ ├── StatisticsExamples.java │ │ └── StatisticsReportingExamples.java │ │ ├── time │ │ └── DateTimeExamples.java │ │ ├── types │ │ ├── Party.java │ │ ├── Person.java │ │ └── TypeArbitraryExamples.java │ │ └── web │ │ ├── EmailExamples.java │ │ └── WebDomainExamples.java │ └── resources │ ├── META-INF │ └── services │ │ ├── net.jqwik.api.SampleReportingFormat │ │ ├── net.jqwik.api.configurators.ArbitraryConfigurator │ │ └── net.jqwik.api.providers.ArbitraryProvider │ ├── junit-platform.properties │ └── log4j2-test.xml ├── engine ├── build.gradle └── src │ ├── main │ ├── java │ │ └── net │ │ │ └── jqwik │ │ │ └── engine │ │ │ ├── ArbitraryDelegator.java │ │ │ ├── DefaultJqwikConfiguration.java │ │ │ ├── JqwikConfiguration.java │ │ │ ├── JqwikProperties.java │ │ │ ├── JqwikTestEngine.java │ │ │ ├── PropertyAttributesDefaults.java │ │ │ ├── SourceOfRandomness.java │ │ │ ├── TestEngineConfiguration.java │ │ │ ├── descriptor │ │ │ ├── AbstractMethodDescriptor.java │ │ │ ├── ContainerClassDescriptor.java │ │ │ ├── DiscoverySupport.java │ │ │ ├── JqwikDescriptor.java │ │ │ ├── JqwikEngineDescriptor.java │ │ │ ├── PropertyConfiguration.java │ │ │ ├── PropertyMethodDescriptor.java │ │ │ ├── SkipExecutionDecorator.java │ │ │ └── package-info.java │ │ │ ├── discovery │ │ │ ├── AbstractClassResolver.java │ │ │ ├── DefaultPropertyAttributes.java │ │ │ ├── ElementResolver.java │ │ │ ├── GroupContainerResolver.java │ │ │ ├── HierarchicalJavaResolver.java │ │ │ ├── JqwikDiscoverer.java │ │ │ ├── JqwikUniqueIDs.java │ │ │ ├── PropertyMethodResolver.java │ │ │ ├── TopLevelContainerResolver.java │ │ │ ├── package-info.java │ │ │ ├── predicates │ │ │ │ ├── IsContainerAGroup.java │ │ │ │ ├── IsDiscoverableTestMethod.java │ │ │ │ ├── IsMethodAnnotatedWithProperty.java │ │ │ │ ├── IsPotentialTestContainer.java │ │ │ │ ├── IsProperty.java │ │ │ │ ├── IsScannableContainerClass.java │ │ │ │ ├── IsTestContainer.java │ │ │ │ ├── IsTopLevelClass.java │ │ │ │ └── package-info.java │ │ │ └── specs │ │ │ │ ├── DiscoverySpec.java │ │ │ │ ├── GroupDiscoverySpec.java │ │ │ │ ├── PropertyDiscoverySpec.java │ │ │ │ ├── TopLevelContainerDiscoverySpec.java │ │ │ │ └── package-info.java │ │ │ ├── execution │ │ │ ├── AbstractLifecycleContext.java │ │ │ ├── AfterFailureParametersGenerator.java │ │ │ ├── CachingArbitraryResolver.java │ │ │ ├── CheckedProperty.java │ │ │ ├── CheckedPropertyFactory.java │ │ │ ├── CombinedDomainContext.java │ │ │ ├── ContainerInstancesCreator.java │ │ │ ├── ContainerTaskCreator.java │ │ │ ├── DefaultContainerLifecycleContext.java │ │ │ ├── DefaultParameterInjectionContext.java │ │ │ ├── DefaultPropertyLifecycleContext.java │ │ │ ├── DefaultTryLifecycleContext.java │ │ │ ├── DomainContextFactory.java │ │ │ ├── EngineLifecycleContext.java │ │ │ ├── ExecutionTaskCreator.java │ │ │ ├── GenerationInfo.java │ │ │ ├── JqwikExecutor.java │ │ │ ├── LifecycleContextSupport.java │ │ │ ├── ParameterSupplierResolver.java │ │ │ ├── ParametersGenerator.java │ │ │ ├── PropertyExecutionListener.java │ │ │ ├── PropertyMethodExecutor.java │ │ │ ├── PropertyTaskCreator.java │ │ │ ├── RecordingExecutionListener.java │ │ │ ├── ReportEntrySupport.java │ │ │ ├── ResolvingParametersGenerator.java │ │ │ ├── ShrinkableResolvedParameter.java │ │ │ ├── lifecycle │ │ │ │ ├── AroundTryLifecycle.java │ │ │ │ ├── CombinedResolveParameterHook.java │ │ │ │ ├── ContainerInstances.java │ │ │ │ ├── CurrentDomainContext.java │ │ │ │ ├── CurrentTestDescriptor.java │ │ │ │ ├── ExtendedPropertyExecutionResult.java │ │ │ │ ├── HookSupport.java │ │ │ │ ├── JqwikLifecycleRegistrator.java │ │ │ │ ├── LifecycleHooksRegistry.java │ │ │ │ ├── LifecycleHooksSupplier.java │ │ │ │ ├── OutsideJqwikException.java │ │ │ │ ├── PlainExecutionResult.java │ │ │ │ ├── RegisteredLifecycleHooks.java │ │ │ │ ├── ScopedStore.java │ │ │ │ ├── StoreRepository.java │ │ │ │ ├── TryLifecycleExecutor.java │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ ├── pipeline │ │ │ │ ├── DuplicateExecutionTaskException.java │ │ │ │ ├── ExecutionPipeline.java │ │ │ │ ├── ExecutionTask.java │ │ │ │ ├── Pipeline.java │ │ │ │ ├── PredecessorNotSubmittedException.java │ │ │ │ ├── TaskExecutionResult.java │ │ │ │ └── package-info.java │ │ │ └── reporting │ │ │ │ ├── ArrayReportingFormat.java │ │ │ │ ├── BuilderBasedLineReporter.java │ │ │ │ ├── CircularDependencyReport.java │ │ │ │ ├── CollectionValueReport.java │ │ │ │ ├── DefaultReporter.java │ │ │ │ ├── ExecutionResultReport.java │ │ │ │ ├── LineReporter.java │ │ │ │ ├── MapValueReport.java │ │ │ │ ├── NullReportingFormat.java │ │ │ │ ├── ObjectValueReport.java │ │ │ │ ├── OptionalReportingFormat.java │ │ │ │ ├── ParameterChangesDetector.java │ │ │ │ ├── SampleReporter.java │ │ │ │ ├── SampleReportingFormats.java │ │ │ │ ├── StreamReportingFormat.java │ │ │ │ ├── TupleValueReport.java │ │ │ │ ├── ValueReport.java │ │ │ │ └── package-info.java │ │ │ ├── facades │ │ │ ├── ActionChainFacadeImpl.java │ │ │ ├── ArbitrariesFacadeImpl.java │ │ │ ├── ArbitraryFacadeImpl.java │ │ │ ├── ChainFacadeImpl.java │ │ │ ├── CombinatorsFacadeImpl.java │ │ │ ├── DomainContextFacadeImpl.java │ │ │ ├── EdgeCasesFacadeImpl.java │ │ │ ├── ExhaustiveGeneratorFacadeImpl.java │ │ │ ├── FunctionsFacadeImpl.java │ │ │ ├── JavaBeanReportingFormatFacadeImpl.java │ │ │ ├── JqwikSessionFacadeImpl.java │ │ │ ├── Memoize.java │ │ │ ├── RandomDistributionFacadeImpl.java │ │ │ ├── RandomGeneratorFacadeImpl.java │ │ │ ├── ReflectionSupportFacadeImpl.java │ │ │ ├── RegisteredTypeUsageEnhancers.java │ │ │ ├── SampleStreamFacade.java │ │ │ ├── ShrinkableFacadeImpl.java │ │ │ ├── ShrinkingSupportFacadeImpl.java │ │ │ ├── StatisticsFacadeImpl.java │ │ │ ├── StoreFacadeImpl.java │ │ │ ├── TestingSupportFacadeImpl.java │ │ │ ├── TypeUsageFacadeImpl.java │ │ │ └── package-info.java │ │ │ ├── hooks │ │ │ ├── DisabledHook.java │ │ │ ├── Hooks.java │ │ │ ├── ResolveReporterHook.java │ │ │ ├── lifecycle │ │ │ │ ├── AutoCloseableHook.java │ │ │ │ ├── BeforeTryMembersHook.java │ │ │ │ ├── ContainerLifecycleMethodsHook.java │ │ │ │ ├── LifecycleMethods.java │ │ │ │ ├── MethodParameterResolver.java │ │ │ │ ├── PropertyLifecycleMethodsHook.java │ │ │ │ ├── TryLifecycleMethodsHook.java │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ └── statistics │ │ │ │ ├── StandardStatisticsReportFormat.java │ │ │ │ ├── StatisticsCollectorImpl.java │ │ │ │ ├── StatisticsEntryImpl.java │ │ │ │ ├── StatisticsHook.java │ │ │ │ ├── StatisticsPublisher.java │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ ├── properties │ │ │ ├── ArbitraryResolver.java │ │ │ ├── CheckedFunction.java │ │ │ ├── DataBasedShrinkablesGenerator.java │ │ │ ├── DataResolver.java │ │ │ ├── DefaultArbitraries.java │ │ │ ├── DomainContextBaseConfigurators.java │ │ │ ├── DomainContextBaseProviders.java │ │ │ ├── DomainContextBaseReportingFormats.java │ │ │ ├── EdgeCasesGenerator.java │ │ │ ├── ExhaustiveShrinkablesGenerator.java │ │ │ ├── FailOnFixedSeedException.java │ │ │ ├── FalsifiedSampleImpl.java │ │ │ ├── FeatureExtractor.java │ │ │ ├── ForAllParametersGenerator.java │ │ │ ├── GenericProperty.java │ │ │ ├── IncompatibleDataException.java │ │ │ ├── InstanceBasedSubtypeProvider.java │ │ │ ├── PropertyCheckResult.java │ │ │ ├── PropertyMethodArbitraryResolver.java │ │ │ ├── PropertyMethodDataResolver.java │ │ │ ├── ProviderMethod.java │ │ │ ├── PurelyRandomShrinkablesGenerator.java │ │ │ ├── RandomizedParameterGenerator.java │ │ │ ├── RandomizedShrinkablesGenerator.java │ │ │ ├── Range.java │ │ │ ├── RegisteredArbitraryConfigurer.java │ │ │ ├── RegisteredArbitraryResolver.java │ │ │ ├── ShrunkFalsifiedSampleImpl.java │ │ │ ├── UniquenessChecker.java │ │ │ ├── arbitraries │ │ │ │ ├── ArbitrariesSupport.java │ │ │ │ ├── ArbitraryCollect.java │ │ │ │ ├── ArbitraryFilter.java │ │ │ │ ├── ArbitraryFlatMap.java │ │ │ │ ├── ArbitraryMap.java │ │ │ │ ├── CharacterRangeArbitrary.java │ │ │ │ ├── ChooseCharacterArbitrary.java │ │ │ │ ├── ChooseValueArbitrary.java │ │ │ │ ├── CreateArbitrary.java │ │ │ │ ├── DecimalEdgeCasesConfiguration.java │ │ │ │ ├── DecimalGeneratingArbitrary.java │ │ │ │ ├── DefaultArrayArbitrary.java │ │ │ │ ├── DefaultBigDecimalArbitrary.java │ │ │ │ ├── DefaultBigIntegerArbitrary.java │ │ │ │ ├── DefaultByteArbitrary.java │ │ │ │ ├── DefaultCharacterArbitrary.java │ │ │ │ ├── DefaultDoubleArbitrary.java │ │ │ │ ├── DefaultFloatArbitrary.java │ │ │ │ ├── DefaultFunctionArbitrary.java │ │ │ │ ├── DefaultIntegerArbitrary.java │ │ │ │ ├── DefaultIteratorArbitrary.java │ │ │ │ ├── DefaultListArbitrary.java │ │ │ │ ├── DefaultLongArbitrary.java │ │ │ │ ├── DefaultMapArbitrary.java │ │ │ │ ├── DefaultSetArbitrary.java │ │ │ │ ├── DefaultShortArbitrary.java │ │ │ │ ├── DefaultStreamArbitrary.java │ │ │ │ ├── DefaultStringArbitrary.java │ │ │ │ ├── DefaultTraverseArbitrary.java │ │ │ │ ├── DefaultTypeArbitrary.java │ │ │ │ ├── EdgeCasesSupport.java │ │ │ │ ├── FrequencyArbitrary.java │ │ │ │ ├── FrequencyOfArbitrary.java │ │ │ │ ├── FromGeneratorWithSizeArbitrary.java │ │ │ │ ├── GenericEdgeCasesConfiguration.java │ │ │ │ ├── IntegralEdgeCasesConfiguration.java │ │ │ │ ├── IntegralGeneratingArbitrary.java │ │ │ │ ├── JustArbitrary.java │ │ │ │ ├── LazyArbitrary.java │ │ │ │ ├── LazyOfArbitrary.java │ │ │ │ ├── MappedEdgeCasesConsumer.java │ │ │ │ ├── MultivalueArbitraryBase.java │ │ │ │ ├── NotAFunctionalTypeException.java │ │ │ │ ├── OneOfArbitrary.java │ │ │ │ ├── RecursiveArbitrary.java │ │ │ │ ├── ReportableStream.java │ │ │ │ ├── ShuffleArbitrary.java │ │ │ │ ├── TypedCloneable.java │ │ │ │ ├── UseGeneratorsArbitrary.java │ │ │ │ ├── combinations │ │ │ │ │ ├── CombineArbitrary.java │ │ │ │ │ ├── DefaultCombinator2.java │ │ │ │ │ ├── DefaultCombinator3.java │ │ │ │ │ ├── DefaultCombinator4.java │ │ │ │ │ ├── DefaultCombinator5.java │ │ │ │ │ ├── DefaultCombinator6.java │ │ │ │ │ ├── DefaultCombinator7.java │ │ │ │ │ ├── DefaultCombinator8.java │ │ │ │ │ ├── DefaultListCombinator.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── exhaustive │ │ │ │ │ ├── CombinedExhaustiveGenerator.java │ │ │ │ │ ├── ExhaustiveGenerators.java │ │ │ │ │ ├── FilteredExhaustiveGenerator.java │ │ │ │ │ ├── FlatMappedExhaustiveGenerator.java │ │ │ │ │ ├── IgnoreExceptionExhaustiveGenerator.java │ │ │ │ │ ├── IterableBasedExhaustiveGenerator.java │ │ │ │ │ ├── ListExhaustiveGenerator.java │ │ │ │ │ ├── MappedExhaustiveGenerator.java │ │ │ │ │ ├── PermutationExhaustiveGenerator.java │ │ │ │ │ ├── SetExhaustiveGenerator.java │ │ │ │ │ ├── WithNullExhaustiveGenerator.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ └── randomized │ │ │ │ │ ├── AbstractFunctionGenerator.java │ │ │ │ │ ├── BiasedNumericGenerator.java │ │ │ │ │ ├── BiasedPartitionPointsCalculator.java │ │ │ │ │ ├── BiasedRandomDistribution.java │ │ │ │ │ ├── BigUniformNumericGenerator.java │ │ │ │ │ ├── CollectGenerator.java │ │ │ │ │ ├── ConstantFunctionGenerator.java │ │ │ │ │ ├── ContainerGenerator.java │ │ │ │ │ ├── DefaultMethodHandleFactory.java │ │ │ │ │ ├── FilteredGenerator.java │ │ │ │ │ ├── FrequencyGenerator.java │ │ │ │ │ ├── FunctionGenerator.java │ │ │ │ │ ├── GaussianNumericGenerator.java │ │ │ │ │ ├── GaussianRandomDistribution.java │ │ │ │ │ ├── IgnoreExceptionGenerator.java │ │ │ │ │ ├── InjectDuplicatesGenerator.java │ │ │ │ │ ├── RandomDecimalGenerators.java │ │ │ │ │ ├── RandomGenerators.java │ │ │ │ │ ├── RandomIntegralGenerators.java │ │ │ │ │ ├── SizeGenerator.java │ │ │ │ │ ├── SmallUniformNumericGenerator.java │ │ │ │ │ ├── UniformRandomDistribution.java │ │ │ │ │ ├── WithEdgeCasesGenerator.java │ │ │ │ │ └── package-info.java │ │ │ ├── configurators │ │ │ │ ├── BigDecimalRangeConfigurator.java │ │ │ │ ├── BigIntegerRangeConfigurator.java │ │ │ │ ├── ByteRangeConfigurator.java │ │ │ │ ├── CharsConfigurator.java │ │ │ │ ├── DoubleRangeConfigurator.java │ │ │ │ ├── FloatRangeConfigurator.java │ │ │ │ ├── IntRangeConfigurator.java │ │ │ │ ├── LongRangeConfigurator.java │ │ │ │ ├── NegativeConfigurator.java │ │ │ │ ├── NotBlankConfigurator.java │ │ │ │ ├── PositiveConfigurator.java │ │ │ │ ├── RegisteredArbitraryConfigurators.java │ │ │ │ ├── ScaleConfigurator.java │ │ │ │ ├── ShortRangeConfigurator.java │ │ │ │ ├── SizeConfigurator.java │ │ │ │ ├── StringLengthConfigurator.java │ │ │ │ ├── UniqueCharsConfigurator.java │ │ │ │ ├── UniqueElementsConfigurator.java │ │ │ │ ├── WhitespaceConfigurator.java │ │ │ │ ├── WithNullConfigurator.java │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ ├── shrinking │ │ │ │ ├── AbstractSampleShrinker.java │ │ │ │ ├── AbstractValueShrinkable.java │ │ │ │ ├── AggressiveSizeOfListShrinker.java │ │ │ │ ├── BigIntegerGrower.java │ │ │ │ ├── BigIntegerShrinker.java │ │ │ │ ├── ChooseValueShrinkable.java │ │ │ │ ├── CollectShrinkable.java │ │ │ │ ├── CombinedShrinkable.java │ │ │ │ ├── ErrorEquivalenceChecker.java │ │ │ │ ├── FilteredShrinkable.java │ │ │ │ ├── FixedValueFlatMappedShrinkable.java │ │ │ │ ├── FlatMappedShrinkable.java │ │ │ │ ├── IgnoreExceptionShrinkable.java │ │ │ │ ├── LazyOfShrinkable.java │ │ │ │ ├── MappedShrinkable.java │ │ │ │ ├── OneAfterTheOtherParameterShrinker.java │ │ │ │ ├── PairwiseParameterShrinker.java │ │ │ │ ├── PropertyShrinker.java │ │ │ │ ├── SampleShrinkable.java │ │ │ │ ├── ShrinkAndGrowShrinker.java │ │ │ │ ├── ShrinkableBigInteger.java │ │ │ │ ├── ShrinkableContainer.java │ │ │ │ ├── ShrinkableList.java │ │ │ │ ├── ShrinkableSet.java │ │ │ │ ├── ShrinkableString.java │ │ │ │ ├── ShrinkingAlgorithm.java │ │ │ │ ├── ShrinkingCommons.java │ │ │ │ ├── ShrunkSampleRecreator.java │ │ │ │ ├── SizeOfListShrinker.java │ │ │ │ ├── Unshrinkable.java │ │ │ │ └── package-info.java │ │ │ ├── state │ │ │ │ ├── DefaultActionChainArbitrary.java │ │ │ │ ├── DefaultChainArbitrary.java │ │ │ │ ├── InvariantFailedError.java │ │ │ │ ├── SequentialActionChain.java │ │ │ │ ├── ShrinkableChain.java │ │ │ │ ├── ShrinkableChainIteration.java │ │ │ │ ├── ShrinkableChainShrinker.java │ │ │ │ └── package-info.java │ │ │ └── stateful │ │ │ │ ├── ActionGenerator.java │ │ │ │ ├── ActionSequenceGenerator.java │ │ │ │ ├── ActionSequenceReportingFormat.java │ │ │ │ ├── ComprehensiveSizeOfListShrinker.java │ │ │ │ ├── DefaultActionSequenceArbitrary.java │ │ │ │ ├── InvariantFailedError.java │ │ │ │ ├── RandomActionGenerator.java │ │ │ │ ├── SequentialActionSequence.java │ │ │ │ ├── ShrinkableActionSequence.java │ │ │ │ ├── ShrinkablesActionGenerator.java │ │ │ │ └── package-info.java │ │ │ ├── providers │ │ │ ├── AbstractCollectionArbitraryProvider.java │ │ │ ├── ArbitraryArbitraryProvider.java │ │ │ ├── ArrayArbitraryProvider.java │ │ │ ├── BigDecimalArbitraryProvider.java │ │ │ ├── BigIntegerArbitraryProvider.java │ │ │ ├── BooleanArbitraryProvider.java │ │ │ ├── ByteArbitraryProvider.java │ │ │ ├── CharacterArbitraryProvider.java │ │ │ ├── DoubleArbitraryProvider.java │ │ │ ├── EntryArbitraryProvider.java │ │ │ ├── EnumArbitraryProvider.java │ │ │ ├── FloatArbitraryProvider.java │ │ │ ├── FunctionArbitraryProvider.java │ │ │ ├── HashMapArbitraryProvider.java │ │ │ ├── IntegerArbitraryProvider.java │ │ │ ├── IteratorArbitraryProvider.java │ │ │ ├── ListArbitraryProvider.java │ │ │ ├── LongArbitraryProvider.java │ │ │ ├── NullableArbitraryProvider.java │ │ │ ├── ObjectArbitraryProvider.java │ │ │ ├── OptionalArbitraryProvider.java │ │ │ ├── RandomArbitraryProvider.java │ │ │ ├── RegisteredArbitraryProviders.java │ │ │ ├── SetArbitraryProvider.java │ │ │ ├── ShortArbitraryProvider.java │ │ │ ├── StreamArbitraryProvider.java │ │ │ ├── StringArbitraryProvider.java │ │ │ ├── UseTypeArbitraryProvider.java │ │ │ ├── VoidArbitraryProvider.java │ │ │ └── package-info.java │ │ │ ├── recording │ │ │ ├── TestRun.java │ │ │ ├── TestRunData.java │ │ │ ├── TestRunDatabase.java │ │ │ ├── TestRunRecorder.java │ │ │ └── package-info.java │ │ │ └── support │ │ │ ├── ChooseRandomlyByFrequency.java │ │ │ ├── Combinatorics.java │ │ │ ├── GenericsClassContext.java │ │ │ ├── GenericsSupport.java │ │ │ ├── JqwikAnnotationSupport.java │ │ │ ├── JqwikExceptionSupport.java │ │ │ ├── JqwikKotlinSupport.java │ │ │ ├── JqwikReflectionSupport.java │ │ │ ├── JqwikStreamSupport.java │ │ │ ├── JqwikStringSupport.java │ │ │ ├── LazyServiceLoaderCache.java │ │ │ ├── LruCache.java │ │ │ ├── MathSupport.java │ │ │ ├── MethodParameter.java │ │ │ ├── OverriddenMethodAnnotationSupport.java │ │ │ ├── StreamConcatenation.java │ │ │ ├── TypeResolution.java │ │ │ ├── combinatorics │ │ │ ├── CombinedIterator.java │ │ │ ├── ConcatIterator.java │ │ │ ├── PermutationIterator.java │ │ │ ├── SetIterator.java │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ └── types │ │ │ ├── TypeUsageImpl.java │ │ │ ├── TypeUsageToString.java │ │ │ └── package-info.java │ ├── module │ │ └── module-info.java │ └── resources │ │ └── META-INF │ │ └── services │ │ ├── net.jqwik.api.Arbitraries$ArbitrariesFacade │ │ ├── net.jqwik.api.Arbitrary$ArbitraryFacade │ │ ├── net.jqwik.api.Combinators$CombinatorsFacade │ │ ├── net.jqwik.api.EdgeCases$EdgeCasesFacade │ │ ├── net.jqwik.api.ExhaustiveGenerator$ExhaustiveGeneratorFacade │ │ ├── net.jqwik.api.Functions$FunctionsFacade │ │ ├── net.jqwik.api.JavaBeanReportingFormat$JavaBeanReportingFormatFacade │ │ ├── net.jqwik.api.RandomDistribution$RandomDistributionFacade │ │ ├── net.jqwik.api.RandomGenerator$RandomGeneratorFacade │ │ ├── net.jqwik.api.SampleReportingFormat │ │ ├── net.jqwik.api.Shrinkable$ShrinkableFacade │ │ ├── net.jqwik.api.configurators.ArbitraryConfigurator │ │ ├── net.jqwik.api.domains.DomainContext$DomainContextFacade │ │ ├── net.jqwik.api.facades.ReflectionSupportFacade │ │ ├── net.jqwik.api.facades.ShrinkingSupportFacade │ │ ├── net.jqwik.api.facades.TestingSupportFacade │ │ ├── net.jqwik.api.lifecycle.LifecycleHook │ │ ├── net.jqwik.api.lifecycle.Store$StoreFacade │ │ ├── net.jqwik.api.providers.ArbitraryProvider │ │ ├── net.jqwik.api.providers.TypeUsage$TypeUsageFacade │ │ ├── net.jqwik.api.sessions.JqwikSession$JqwikSessionFacade │ │ ├── net.jqwik.api.state.ActionChain$ActionChainFacade │ │ ├── net.jqwik.api.state.Chain$ChainFacade │ │ ├── net.jqwik.api.statistics.Statistics$StatisticsFacade │ │ └── org.junit.platform.engine.TestEngine │ └── test │ └── java │ ├── examples │ ├── bugs │ │ ├── CombiningCharacterArbitrariesBug.java │ │ ├── ExhaustiveGenerationBug.java │ │ ├── GeneratingHighDoubles.java │ │ ├── Issue519Bug.java │ │ ├── JqwikActionsShrinkToNothing.java │ │ ├── JqwikHeapBust.java │ │ ├── JqwikLogExplosion.java │ │ ├── ListOfConsumersBug.java │ │ ├── MaxEdgeCasesBelowZeroBug.java │ │ ├── PositiveIntegersGenerationBug.java │ │ ├── SampleInGeneratorBug.java │ │ ├── ShrinkingListElementsNotEnough.java │ │ ├── ShrinkingStackOverflow.java │ │ └── StringListGenerationBug.java │ ├── packageWithDisabledTests │ │ └── DisabledTests.java │ ├── packageWithErrors │ │ ├── AbstractContainerForOverloadedExamples.java │ │ ├── ContainerWithOOME.java │ │ ├── ContainerWithOverloadedExamples.java │ │ └── ContainerWithStaticTestMethods.java │ ├── packageWithFailings │ │ ├── Container1.java │ │ ├── Container2.java │ │ ├── ContainerWithFailingConstructor.java │ │ └── ContainerWithStatistics.java │ ├── packageWithInheritance │ │ ├── AbstractContainer.java │ │ ├── ContainerWithInheritance.java │ │ └── InterfaceTests.java │ ├── packageWithNestedContainers │ │ ├── ClassWithContainer.java │ │ ├── TopLevelContainerWithGroups.java │ │ └── TopLevelContainerWithNoGroups.java │ ├── packageWithProperties │ │ ├── AnnotatedPropertiesTests.java │ │ ├── CollectingStatisticsExamples.java │ │ ├── FizzBuzzTests2.java │ │ ├── GeneratorsExamples.java │ │ ├── NumberCoverageExamples.java │ │ ├── PropertiesTriesCounting.java │ │ ├── PropertiesWithAssumptions.java │ │ ├── ShrinkingExamples.java │ │ └── TestsForReporting.java │ ├── packageWithSeveralContainers │ │ ├── ExampleTests.java │ │ ├── MixedTests.java │ │ └── PropertyTests.java │ └── packageWithSingleContainer │ │ ├── ClassWithoutTests.java │ │ └── SimpleExampleTests.java │ ├── experiments │ ├── CompositeActionExperiments.java │ ├── GuidanceExperiments.java │ ├── MarkovChainExperiments.java │ ├── MutatingChainExperiments.java │ ├── PerformanceTests.java │ ├── ProbabilisticExperiments.java │ └── SharedArbitraryExperiments.java │ └── net │ └── jqwik │ ├── ArchitectureTests.java │ ├── OrderedArbitraryForTesting.java │ ├── UseArbitrariesOutsideJqwikTests.java │ ├── api │ ├── ArbitrariesRecursiveTests.java │ ├── ArbitrariesTests.java │ ├── ArbitraryIgnoreExceptionsTests.java │ ├── ArbitraryTestHelper.java │ ├── ArbitraryTests.java │ ├── ArrayArbitraryTests.java │ ├── BuildersTests.java │ ├── CombinatorsTests.java │ ├── DoubleArbitraryTests.java │ ├── ExhaustiveGenerationTests.java │ ├── FlatCombinatorsTests.java │ ├── FloatArbitraryTests.java │ ├── FunctionsTests.java │ ├── GenericGenerationProperties.java │ ├── IteratorArbitraryTests.java │ ├── ListArbitraryTests.java │ ├── MapArbitraryTests.java │ ├── SetArbitraryTests.java │ ├── StreamArbitraryTests.java │ ├── TupleTests.java │ ├── configurators │ │ └── ConfiguratorBaseTests.java │ ├── constraints │ │ ├── AnnotatedParameterTypesProperties.java │ │ ├── ArraysConstraintsProperties.java │ │ ├── CharsProperties.java │ │ ├── NegativeProperties.java │ │ ├── NotBlankProperties.java │ │ ├── PositiveProperties.java │ │ ├── RangeProperties.java │ │ ├── ScaleProperties.java │ │ ├── SizeProperties.java │ │ ├── StringLengthProperties.java │ │ ├── UniqueCharsProperties.java │ │ ├── UniqueElementsProperties.java │ │ ├── UseTypeProperties.java │ │ ├── WhitespaceProperties.java │ │ └── WithNullProperties.java │ ├── domains │ │ ├── ContextIsArbitraryConfigurator.java │ │ ├── ContextIsArbitraryProvider.java │ │ ├── ContextWithDependentProviders.java │ │ ├── ContextWithDomainAnnotation.java │ │ ├── ContextWithInnerConfiguratorClasses.java │ │ ├── ContextWithInnerProviderClasses.java │ │ ├── ContextWithInnerReportingFormatClasses.java │ │ ├── ContextWithProviderMethods.java │ │ ├── DomainContextBaseTests.java │ │ ├── DomainInitializationTests.java │ │ ├── Doubled.java │ │ └── MakeNegative.java │ ├── edgeCases │ │ ├── ArbitrariesEdgeCasesTests.java │ │ ├── ArbitraryEdgeCasesTests.java │ │ ├── EdgeCasesExceedLimitTests.java │ │ ├── EdgeCasesGenerationProperties.java │ │ ├── EdgeCasesTests.java │ │ ├── GenericEdgeCasesProperties.java │ │ └── NumbersEdgeCasesTests.java │ ├── lifecycle │ │ ├── InheritedLifecycleHooksTests.java │ │ ├── PerPropertyTests.java │ │ └── PropertyDefaultsTests.java │ ├── providers │ │ ├── ProgrammaticArbitraryProviderRegistrationTests.java │ │ ├── RegisteredArbitraryProvidersTests.java │ │ └── TypeUsageTests.java │ ├── statistics │ │ ├── HistogramTests.java │ │ └── StatisticsCoverageTests.java │ └── support │ │ ├── HashCodeSupportTests.java │ │ └── LambdaSupportTests.java │ ├── engine │ ├── JqwikIntegrationTests.java │ ├── JqwikPropertiesTests.java │ ├── JqwikUniqueIdBuilder.java │ ├── TestDescriptorBuilder.java │ ├── TestHelper.java │ ├── discovery │ │ ├── ContainerResolverTest.java │ │ ├── DiscoveryTests.java │ │ └── PropertyMethodResolverTests.java │ ├── execution │ │ ├── AfterFailureParametersGeneratorTests.java │ │ ├── CheckedPropertiesExecutionTests.java │ │ ├── CheckedPropertyFactoryTests.java │ │ ├── ContainerExecutionTests.java │ │ ├── ExecutionPipelineTests.java │ │ ├── GenerationInfoTests.java │ │ ├── JqwikExecutorTests.java │ │ ├── MockExecutionTask.java │ │ ├── MockPipeline.java │ │ ├── ParametersGeneratorForTests.java │ │ ├── SimplePropertiesExecutionTests.java │ │ ├── lifecycle │ │ │ ├── AfterContainerHookTests.java │ │ │ ├── AroundContainerHookTests.java │ │ │ ├── AroundPropertyHookTests.java │ │ │ ├── AroundTryHookTests.java │ │ │ ├── AutoCloseableLifecycleTests.java │ │ │ ├── BeforeContainerHookTests.java │ │ │ ├── BeforeTryOnMemberVariableTests.java │ │ │ ├── InvokePropertyMethodHookTests.java │ │ │ ├── LifecycleContextAnnotationsTests.java │ │ │ ├── LifecycleContextToStringTests.java │ │ │ ├── LifecycleMethodsTests.java │ │ │ ├── LifecycleRegistryTests.java │ │ │ ├── PropertyAttributesTests.java │ │ │ ├── ProvidePropertyInstanceHookTests.java │ │ │ ├── RegistrarHookTests.java │ │ │ ├── StoreRepositoryTests.java │ │ │ └── StoreTests.java │ │ └── reporting │ │ │ ├── EnableFootnotesTests.java │ │ │ ├── JavaBeanReportingFormatTests.java │ │ │ ├── LineReporterStub.java │ │ │ ├── ParameterChangesDetectorTests.java │ │ │ ├── ResolveReporterHookTests.java │ │ │ └── SampleReportingTests.java │ ├── matchers │ │ ├── IsClassDescriptorFor.java │ │ ├── IsPropertyDescriptorFor.java │ │ ├── IsPropertyExecutionResultFailure.java │ │ ├── IsTestResultFailure.java │ │ ├── PropertyExecutionResultMatchers.java │ │ ├── TestDescriptorMatchers.java │ │ └── TestExecutionResultMatchers.java │ ├── properties │ │ ├── CheckedPropertyTests.java │ │ ├── DataBasedShrinkablesGeneratorTests.java │ │ ├── ExhaustiveShrinkablesGeneratorTests.java │ │ ├── ForAllSpy.java │ │ ├── GenericPropertyTests.java │ │ ├── PropertyConfigurationBuilder.java │ │ ├── PropertyMethodArbitraryResolverTests.java │ │ ├── PropertyMethodDataResolverTests.java │ │ ├── RandomizedShrinkablesGeneratorTests.java │ │ ├── RangeTests.java │ │ ├── RegisteredArbitraryResolverTests.java │ │ ├── ResolvingParametersInConstructorTests.java │ │ ├── ResolvingParametersInLifecycleMethodsTests.java │ │ ├── ResolvingParametersInTryTests.java │ │ ├── arbitraries │ │ │ ├── DefaultCharacterArbitraryTests.java │ │ │ ├── DefaultStringArbitraryTests.java │ │ │ ├── DefaultTypeArbitraryTests.java │ │ │ ├── TraverseArbitraryTests.java │ │ │ └── randomized │ │ │ │ ├── RandomDistributionProperties.java │ │ │ │ └── RandomGeneratorsTests.java │ │ ├── shrinking │ │ │ ├── ArbitraryShrinkingTests.java │ │ │ ├── BigIntegerShrinkerTests.java │ │ │ ├── ChooseValueShrinkableTests.java │ │ │ ├── CollectShrinkableTests.java │ │ │ ├── CombinatorsShrinkingTests.java │ │ │ ├── CombinedShrinkableTests.java │ │ │ ├── ErrorEquivalenceCheckerTests.java │ │ │ ├── FilteredShrinkableTests.java │ │ │ ├── FlatMappedShrinkableTests.java │ │ │ ├── LazyArbitraryShrinkingTests.java │ │ │ ├── LazyOfArbitraryShrinkingTests.java │ │ │ ├── MappedShrinkableTests.java │ │ │ ├── PropertyShrinkerTests.java │ │ │ ├── ShrinkTowardsTests.java │ │ │ ├── ShrinkableBigDecimalTests.java │ │ │ ├── ShrinkableBigIntegerTests.java │ │ │ ├── ShrinkableListTests.java │ │ │ ├── ShrinkableProperties.java │ │ │ ├── ShrinkableSetTests.java │ │ │ ├── ShrinkableStringTests.java │ │ │ ├── ShrinkableTypesForTest.java │ │ │ ├── ShrinkingDistanceTests.java │ │ │ ├── ShrinkingQualityProperties.java │ │ │ ├── ShrunkSampleRecreatorTests.java │ │ │ └── UnshrinkableTests.java │ │ ├── state │ │ │ ├── ActionChainArbitraryTests.java │ │ │ └── ChainArbitraryTests.java │ │ └── stateful │ │ │ ├── ActionGeneratorTests.java │ │ │ ├── ActionSequenceInvariantTests.java │ │ │ ├── ActionSequenceProperties.java │ │ │ ├── ActionSequenceShrinkingTests.java │ │ │ ├── SequentialActionSequenceTests.java │ │ │ └── ShrinkableActionSequenceTests.java │ ├── statistics │ │ ├── StatisticsCollectionTests.java │ │ ├── StatisticsHookTests.java │ │ └── StatisticsReportingTests.java │ └── support │ │ ├── CombinatoricsTests.java │ │ ├── CombinedIteratorTests.java │ │ ├── GenericsSupportTests.java │ │ ├── JqwikAnnotationSupportTests.java │ │ ├── JqwikReflectionSupportTests.java │ │ └── JqwikStreamSupportTests.java │ └── testing │ └── TestingSupportTests.java ├── experiments ├── Builder.java ├── DataDrivenSpec.java ├── Fixture.java ├── ForAllLifeCycle.java ├── ForEachLifeCycle.java ├── SimpleSpec.java ├── Spec.java ├── SpecPlugin.java ├── SpecWithFixtureClasses.java └── UsePlugIn.java ├── gradle.properties ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── jqwik-images.key ├── kotlin ├── build.gradle └── src │ ├── main │ ├── kotlin │ │ └── net │ │ │ └── jqwik │ │ │ └── kotlin │ │ │ ├── api │ │ │ ├── AnyForSubtypeOfDsl.kt │ │ │ ├── ArbitraryExtensions.kt │ │ │ ├── BuildersExtensions.kt │ │ │ ├── CollectionExtensions.kt │ │ │ ├── CombinatorDsl.kt │ │ │ ├── CombinatorsExtensions.kt │ │ │ ├── IntRangeArbitrary.kt │ │ │ ├── JqwikGlobals.kt │ │ │ ├── KotlinTypesExtensions.kt │ │ │ ├── SequenceArbitrary.kt │ │ │ ├── SizableArbitraryExtensions.kt │ │ │ ├── StringArbitraryExtensions.kt │ │ │ ├── TupleExtensions.kt │ │ │ ├── TypeAliases.kt │ │ │ └── TypeUsageExtensions.kt │ │ │ └── internal │ │ │ ├── DefaultConstructorMarkerProvider.kt │ │ │ ├── IntRangeArbitraryProvider.kt │ │ │ ├── KTypeEnhancer.kt │ │ │ ├── KotlinReflectionSupport.kt │ │ │ ├── KotlinSizeConfigurator.kt │ │ │ ├── KotlinUniqueElementsConfigurator.kt │ │ │ ├── NullabilityEnhancer.kt │ │ │ ├── ObjectAsContainerClassHook.kt │ │ │ ├── PairArbitraryProvider.kt │ │ │ ├── PairReportingFormat.kt │ │ │ ├── ParameterAnnotationEnhancer.kt │ │ │ ├── SequenceArbitraryProvider.kt │ │ │ ├── SuspendedPropertyMethodsHook.kt │ │ │ ├── TripleArbitraryProvider.kt │ │ │ └── TripleReportingFormat.kt │ ├── module │ │ └── module-info.java │ └── resources │ │ └── META-INF │ │ └── services │ │ ├── net.jqwik.api.SampleReportingFormat │ │ ├── net.jqwik.api.configurators.ArbitraryConfigurator │ │ ├── net.jqwik.api.lifecycle.LifecycleHook │ │ ├── net.jqwik.api.providers.ArbitraryProvider │ │ └── net.jqwik.api.providers.TypeUsage$Enhancer │ └── test │ ├── java │ └── net │ │ └── jqwik │ │ └── kotlin │ │ └── java │ │ └── JavaProperty.java │ └── kotlin │ └── net │ └── jqwik │ └── kotlin │ ├── AnyForSubtypeOfTests.kt │ ├── ArbitraryExtensionsTests.kt │ ├── BuildersExtensionsTests.kt │ ├── CollectionExtensionsTests.kt │ ├── CombinatorDslTests.kt │ ├── CombinatorsExtensionsTests.kt │ ├── ConvenienceFunctionsTests.kt │ ├── DataClassAsContainerTests.kt │ ├── IntRangeArbitraryTests.kt │ ├── InternalModifierTests.kt │ ├── JqwikTupleTests.kt │ ├── KotlinFunctionsTests.kt │ ├── KotlinPairTests.kt │ ├── KotlinSequenceTests.kt │ ├── KotlinTripleTests.kt │ ├── KotlinTypesCompatibilityTests.kt │ ├── KotlinTypesExtensionsTests.kt │ ├── NullabilityTests.kt │ ├── ParameterAnnotationsTests.kt │ ├── PropertyMethodContextTests.kt │ ├── ReflectionSupportTests.kt │ ├── ReportingFormatsTests.kt │ ├── SingletonTests.kt │ ├── SizableArbitraryExtensionsTests.kt │ ├── StringArbitraryExtensionsTests.kt │ ├── SuspendedPropertiesTests.kt │ ├── TypeUsageExtensionsTests.kt │ └── UseTypeWithDataAndValueClassesTests.kt ├── settings.gradle ├── signalPublishToCentralSonatype.sh ├── test-modular-api ├── build.gradle └── src │ └── test │ ├── java │ ├── module-info.java │ └── test │ │ └── modular │ │ └── api │ │ └── ModularTests.java │ └── resources │ └── junit-platform.properties ├── testing ├── build.gradle └── src │ └── main │ ├── java │ └── net │ │ └── jqwik │ │ └── testing │ │ ├── CheckReporting.java │ │ ├── ExpectFailure.java │ │ ├── ReportMemoryHook.java │ │ ├── ShrinkToChecker.java │ │ ├── ShrinkingSupport.java │ │ ├── SuppressLogging.java │ │ ├── TestingFalsifier.java │ │ └── TestingSupport.java │ ├── module │ └── module-info.java │ └── resources │ ├── archunit.properties │ ├── junit-platform.properties │ └── log4j2-test.xml ├── time ├── build.gradle └── src │ ├── main │ ├── java │ │ └── net │ │ │ └── jqwik │ │ │ └── time │ │ │ ├── api │ │ │ ├── DateTimes.java │ │ │ ├── Dates.java │ │ │ ├── Times.java │ │ │ ├── arbitraries │ │ │ │ ├── CalendarArbitrary.java │ │ │ │ ├── DateArbitrary.java │ │ │ │ ├── DurationArbitrary.java │ │ │ │ ├── InstantArbitrary.java │ │ │ │ ├── LocalDateArbitrary.java │ │ │ │ ├── LocalDateTimeArbitrary.java │ │ │ │ ├── LocalTimeArbitrary.java │ │ │ │ ├── MonthDayArbitrary.java │ │ │ │ ├── OffsetDateTimeArbitrary.java │ │ │ │ ├── OffsetTimeArbitrary.java │ │ │ │ ├── PeriodArbitrary.java │ │ │ │ ├── YearArbitrary.java │ │ │ │ ├── YearMonthArbitrary.java │ │ │ │ ├── ZoneOffsetArbitrary.java │ │ │ │ ├── ZonedDateTimeArbitrary.java │ │ │ │ └── package-info.java │ │ │ ├── constraints │ │ │ │ ├── DateRange.java │ │ │ │ ├── DateTimeRange.java │ │ │ │ ├── DayOfMonthRange.java │ │ │ │ ├── DayOfWeekRange.java │ │ │ │ ├── DurationRange.java │ │ │ │ ├── HourRange.java │ │ │ │ ├── InstantRange.java │ │ │ │ ├── MinuteRange.java │ │ │ │ ├── MonthDayRange.java │ │ │ │ ├── MonthRange.java │ │ │ │ ├── OffsetRange.java │ │ │ │ ├── PeriodRange.java │ │ │ │ ├── Precision.java │ │ │ │ ├── SecondRange.java │ │ │ │ ├── TimeRange.java │ │ │ │ ├── YearMonthRange.java │ │ │ │ ├── YearRange.java │ │ │ │ └── package-info.java │ │ │ └── package-info.java │ │ │ └── internal │ │ │ └── properties │ │ │ ├── arbitraries │ │ │ ├── DefaultCalendarArbitrary.java │ │ │ ├── DefaultDateArbitrary.java │ │ │ ├── DefaultDurationArbitrary.java │ │ │ ├── DefaultInstantArbitrary.java │ │ │ ├── DefaultLocalDateArbitrary.java │ │ │ ├── DefaultLocalDateTimeArbitrary.java │ │ │ ├── DefaultLocalTimeArbitrary.java │ │ │ ├── DefaultMonthDayArbitrary.java │ │ │ ├── DefaultOffsetDateTimeArbitrary.java │ │ │ ├── DefaultOffsetTimeArbitrary.java │ │ │ ├── DefaultPeriodArbitrary.java │ │ │ ├── DefaultYearArbitrary.java │ │ │ ├── DefaultYearMonthArbitrary.java │ │ │ ├── DefaultZoneOffsetArbitrary.java │ │ │ ├── DefaultZonedDateTimeArbitrary.java │ │ │ └── valueRanges │ │ │ │ ├── AllowedDayOfWeeks.java │ │ │ │ ├── AllowedMonths.java │ │ │ │ ├── AllowedUnits.java │ │ │ │ ├── Between.java │ │ │ │ ├── DayOfMonthBetween.java │ │ │ │ ├── DurationBetween.java │ │ │ │ ├── HourBetween.java │ │ │ │ ├── LocalDateBetween.java │ │ │ │ ├── LocalDateTimeBetween.java │ │ │ │ ├── LocalTimeBetween.java │ │ │ │ ├── MinuteBetween.java │ │ │ │ ├── MonthBetween.java │ │ │ │ ├── OfPrecision.java │ │ │ │ ├── PeriodBetween.java │ │ │ │ ├── SecondBetween.java │ │ │ │ ├── YearBetween.java │ │ │ │ ├── YearMonthBetween.java │ │ │ │ └── ZoneOffsetBetween.java │ │ │ ├── configurators │ │ │ ├── DateRangeConfigurator.java │ │ │ ├── DateTimeRangeConfigurator.java │ │ │ ├── DayOfMonthRangeConfigurator.java │ │ │ ├── DayOfWeekRangeConfigurator.java │ │ │ ├── DurationRangeConfigurator.java │ │ │ ├── HourRangeConfigurator.java │ │ │ ├── InstantConfigurator.java │ │ │ ├── MinuteRangeConfigurator.java │ │ │ ├── MonthDayRangeConfigurator.java │ │ │ ├── MonthRangeConfigurator.java │ │ │ ├── OffsetRangeConfigurator.java │ │ │ ├── PeriodRangeConfigurator.java │ │ │ ├── PrecisionConfigurator.java │ │ │ ├── SecondRangeConfigurator.java │ │ │ ├── TimeRangeConfigurator.java │ │ │ ├── YearMonthRangeConfigurator.java │ │ │ └── YearRangeConfigurator.java │ │ │ └── providers │ │ │ ├── DateTimeArbitraryProvider.java │ │ │ ├── DurationArbitraryProvider.java │ │ │ ├── InstantArbitraryProvider.java │ │ │ ├── LocalDateArbitraryProvider.java │ │ │ ├── MonthDayArbitraryProvider.java │ │ │ ├── OffsetDateTimeArbitraryProvider.java │ │ │ ├── OffsetTimeArbitraryProvider.java │ │ │ ├── PeriodArbitraryProvider.java │ │ │ ├── TimeArbitraryProvider.java │ │ │ ├── TimeZoneArbitraryProvider.java │ │ │ ├── YearArbitraryProvider.java │ │ │ ├── YearMonthArbitraryProvider.java │ │ │ ├── ZoneIdArbitraryProvider.java │ │ │ ├── ZoneOffsetsArbitraryProvider.java │ │ │ └── ZonedDateTimeArbitraryProvider.java │ ├── module │ │ └── module-info.java │ └── resources │ │ └── META-INF │ │ └── services │ │ ├── net.jqwik.api.configurators.ArbitraryConfigurator │ │ └── net.jqwik.api.providers.ArbitraryProvider │ └── test │ └── java │ └── net │ └── jqwik │ └── time │ └── api │ ├── dateTimes │ ├── instant │ │ ├── DefaultGenerationTests.java │ │ ├── InstantMethodsTests.java │ │ ├── InvalidConfigurationTests.java │ │ ├── ShrinkingTests.java │ │ ├── SimpleArbitrariesTests.java │ │ └── constraint │ │ │ ├── ConstraintsTests.java │ │ │ ├── InvalidConfigurationsTests.java │ │ │ ├── InvalidUseOfContraintsTests.java │ │ │ └── ValidTypesWithOwnArbitrariesTests.java │ ├── localDateTime │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── EqualDistributionTests.java │ │ ├── ShrinkingTests.java │ │ ├── SimpleArbitrariesTests.java │ │ ├── constraint │ │ │ ├── ConstraintsTests.java │ │ │ ├── InvalidConfigurationsTests.java │ │ │ ├── InvalidUseOfContraintsTests.java │ │ │ └── ValidTypesWithOwnArbitrariesTests.java │ │ ├── dateTimeMethods │ │ │ ├── DateTests.java │ │ │ ├── DateTimeTests.java │ │ │ └── TimeTests.java │ │ ├── exhaustiveGeneration │ │ │ ├── BetweenTests.java │ │ │ ├── PrecisionImplicitlyTests.java │ │ │ └── PrecisionTests.java │ │ └── invalidConfiguration │ │ │ ├── InvalidCombinationTests.java │ │ │ ├── InvalidValueTests.java │ │ │ └── PrecisionTests.java │ ├── offsetDateTime │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── OffsetDateTimeMethodsTests.java │ │ ├── ShrinkingTests.java │ │ ├── SimpleArbitrariesTests.java │ │ └── constraint │ │ │ ├── ConstraintsTests.java │ │ │ └── ValidTypesWithOwnArbitrariesTests.java │ └── zonedDateTime │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── ShrinkingTests.java │ │ ├── SimpleArbitrariesTests.java │ │ ├── ZonedDateTimeMethodsTests.java │ │ └── constraint │ │ ├── ConstraintsTests.java │ │ └── ValidTypesWithOwnArbitrariesTests.java │ ├── dates │ ├── calendar │ │ ├── CalendarMethodsTests.java │ │ ├── ConstraintTests.java │ │ ├── EdgeCasesTests.java │ │ ├── EqualDistributionTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── InvalidConfigurationTests.java │ │ ├── ShrinkingTests.java │ │ └── SimpleArbitrariesTests.java │ ├── date │ │ ├── ConstraintTests.java │ │ ├── DateMethodsTests.java │ │ ├── EdgeCasesTests.java │ │ ├── EqualDistributionTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── InvalidConfigurationTests.java │ │ ├── ShrinkingTests.java │ │ └── SimpleArbitrariesTests.java │ ├── dayOfMonth │ │ └── ConstraintTests.java │ ├── localDate │ │ ├── ConstraintTests.java │ │ ├── DateMethodTests.java │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── EqualDistributionTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── InvalidConfigurationTests.java │ │ ├── ShrinkingTests.java │ │ └── SimpleArbitrariesTests.java │ ├── monthDay │ │ ├── ConstraintTests.java │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── MonthDayMethodsTests.java │ │ ├── ShrinkingTests.java │ │ └── SimpleArbitrariesTests.java │ ├── period │ │ ├── ConstraintTests.java │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── EqualDistributionTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── PeriodMethodsTests.java │ │ ├── ShrinkingTests.java │ │ └── SimpleArbitrariesTests.java │ ├── year │ │ ├── ConstraintTests.java │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── ShrinkingTests.java │ │ ├── SimpleArbitrariesTests.java │ │ └── YearMethodsTests.java │ └── yearMonth │ │ ├── ConstraintTests.java │ │ ├── DefaultGenerationTests.java │ │ ├── EdgeCasesTests.java │ │ ├── ExhaustiveGenerationTests.java │ │ ├── InvalidConfigurationTests.java │ │ ├── ShrinkingTests.java │ │ ├── SimpleArbitrariesTests.java │ │ └── YearMonthMethodsTests.java │ ├── testingSupport │ ├── ForCalendar.java │ ├── ForDate.java │ └── ForDuration.java │ └── times │ ├── duration │ ├── ConstraintTests.java │ ├── DefaultGenerationTests.java │ ├── DurationMethodsTests.java │ ├── EdgeCasesTests.java │ ├── EqualDistributionTests.java │ ├── InvalidConfigurationTests.java │ ├── ShrinkingTests.java │ ├── SimpleArbitrariesTests.java │ └── exhaustiveGeneration │ │ └── precision │ │ ├── HoursTests.java │ │ ├── MicrosTests.java │ │ ├── MillisTests.java │ │ ├── MinutesTests.java │ │ ├── NanosTests.java │ │ ├── SecondsTests.java │ │ └── precisionImplicitly │ │ ├── MicrosTests.java │ │ ├── MillisTests.java │ │ ├── NanosTests.java │ │ └── SecondsTests.java │ ├── localTime │ ├── DefaultGenerationTests.java │ ├── EdgeCasesTests.java │ ├── EqualDistributionTests.java │ ├── InvalidConfigurationTests.java │ ├── ShrinkingTests.java │ ├── SimpleArbitrariesTests.java │ ├── constraint │ │ ├── ConstraintsTests.java │ │ ├── InvalidConfigurationsTests.java │ │ ├── InvalidUseOfConstraintsTests.java │ │ └── ValidTypesWithOwnArbitrariesTests.java │ ├── exhaustiveGeneration │ │ ├── BetweenTests.java │ │ ├── PrecisionImplicitlyTests.java │ │ └── PrecisionTests.java │ └── timeMethods │ │ ├── HourTests.java │ │ ├── MinuteTests.java │ │ ├── PrecisionTests.java │ │ ├── SecondTests.java │ │ └── TimeTests.java │ ├── offsetTime │ ├── DefaultGenerationTests.java │ ├── EdgeCasesTests.java │ ├── EqualDistributionTests.java │ ├── InvalidConfigurationTests.java │ ├── ShrinkingTests.java │ ├── SimpleArbitrariesTests.java │ ├── constraint │ │ ├── ConstraintsTests.java │ │ ├── InvalidConfigurationsTests.java │ │ └── ValidTypesWithOwnArbitrariesTests.java │ ├── exhaustiveGeneration │ │ ├── OffsetTimeTests.java │ │ ├── PrecisionImplicitlyTests.java │ │ └── PrecisionTests.java │ └── timeMethods │ │ ├── HourTests.java │ │ ├── MinuteTests.java │ │ ├── OffsetTests.java │ │ ├── PrecisionTests.java │ │ ├── SecondTests.java │ │ └── TimeTests.java │ └── zoneOffset │ ├── ConstraintTests.java │ ├── DefaultGenerationTests.java │ ├── EdgeCasesTests.java │ ├── EqualDistributionTests.java │ ├── ExhaustiveGenerationTests.java │ ├── InvalidConfigurationTests.java │ ├── OffsetMethodsTests.java │ ├── ShrinkingTests.java │ └── SimpleArbitrariesTests.java └── web ├── build.gradle └── src ├── main ├── java │ └── net │ │ └── jqwik │ │ └── web │ │ ├── DefaultEmailArbitrary.java │ │ ├── DefaultWebDomainArbitrary.java │ │ ├── EmailArbitraryProvider.java │ │ ├── WebDomainArbitraryProvider.java │ │ └── api │ │ ├── Email.java │ │ ├── EmailArbitrary.java │ │ ├── Web.java │ │ ├── WebDomain.java │ │ └── package-info.java ├── module │ └── module-info.java └── resources │ └── META-INF │ └── services │ └── net.jqwik.api.providers.ArbitraryProvider └── test └── java └── net └── jqwik └── web └── api ├── EmailProperties.java ├── EmailsTests.java ├── WebDomainTests.java └── WebTestingSupport.java /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | * text=auto -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | github: jqwik-team 2 | -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE.MD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.github/ISSUE_TEMPLATE.MD -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/gradle.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.github/workflows/gradle.yml -------------------------------------------------------------------------------- /.github/workflows/matrix.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.github/workflows/matrix.js -------------------------------------------------------------------------------- /.github/workflows/matrix_builder.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.github/workflows/matrix_builder.js -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/.idea/icon.png -------------------------------------------------------------------------------- /BACKLOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/BACKLOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /FEATURE_USAGE_SURVEY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/FEATURE_USAGE_SURVEY.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/TODO.md -------------------------------------------------------------------------------- /api/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/build.gradle -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/AfterFailureMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/AfterFailureMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Arbitraries.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Arbitraries.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Arbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Arbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/ArbitrarySupplier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/ArbitrarySupplier.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Assume.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Assume.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Builders.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Builders.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/CannotFindArbitraryException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/CannotFindArbitraryException.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Combinators.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Combinators.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Data.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Data.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Disabled.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Disabled.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/EdgeCases.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/EdgeCases.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/EdgeCasesMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/EdgeCasesMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Example.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Example.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/ExhaustiveGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/ExhaustiveGenerator.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/FacadeLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/FacadeLoader.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Falsifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Falsifier.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/FixedSeedMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/FixedSeedMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/ForAll.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/ForAll.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/From.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/From.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/FromData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/FromData.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Functions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Functions.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/GenerationMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/GenerationMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Group.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Group.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/JavaBeanReportingFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/JavaBeanReportingFormat.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/JqwikException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/JqwikException.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Label.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Label.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Property.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Property.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/PropertyDefaults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/PropertyDefaults.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Provide.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Provide.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/RandomDistribution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/RandomDistribution.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/RandomGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/RandomGenerator.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Report.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Report.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Reporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Reporter.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Reporting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Reporting.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/SampleReportingFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/SampleReportingFormat.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Shrinkable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Shrinkable.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/ShrinkingDistance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/ShrinkingDistance.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/ShrinkingDistanceArraysSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/ShrinkingDistanceArraysSupport.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/ShrinkingMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/ShrinkingMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Table.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Table.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Tag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Tag.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/TagList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/TagList.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/TooManyFilterMissesException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/TooManyFilterMissesException.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/Tuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/Tuple.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/ArbitraryDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/ArbitraryDecorator.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/ArrayArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/ArrayArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/BigDecimalArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/BigDecimalArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/BigIntegerArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/BigIntegerArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/ByteArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/ByteArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/CharacterArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/CharacterArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/DoubleArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/DoubleArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/FloatArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/FloatArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/FunctionArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/FunctionArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/IntegerArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/IntegerArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/IteratorArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/IteratorArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/ListArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/ListArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/LongArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/LongArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/MapArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/MapArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/NumericalArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/NumericalArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/SetArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/SetArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/ShortArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/ShortArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/SizableArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/SizableArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/StreamArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/StreamArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/StreamableArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/StreamableArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/StringArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/StringArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/TraverseArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/TraverseArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/TypeArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/TypeArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/arbitraries/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/arbitraries/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/configurators/ArbitraryConfigurator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/configurators/ArbitraryConfigurator.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/configurators/SelfConfiguringArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/configurators/SelfConfiguringArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/configurators/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/configurators/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/AlphaChars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/AlphaChars.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/BigRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/BigRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/ByteRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/ByteRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/CharRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/CharRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/CharRangeList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/CharRangeList.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/Chars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/Chars.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/CharsList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/CharsList.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/DoubleRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/DoubleRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/FloatRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/FloatRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/IntRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/IntRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/LongRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/LongRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/LowerChars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/LowerChars.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/Negative.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/NotBlank.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/NotBlank.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/NotEmpty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/NotEmpty.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/NumericChars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/NumericChars.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/Positive.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/Scale.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/Scale.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/ShortRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/ShortRange.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/Size.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/Size.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/StringLength.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/StringLength.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/UniqueChars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/UniqueChars.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/UniqueElements.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/UniqueElements.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/UpperChars.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/UpperChars.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/UseType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/UseType.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/UseTypeMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/UseTypeMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/Whitespace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/Whitespace.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/WithNull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/WithNull.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/constraints/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/constraints/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/domains/Domain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/domains/Domain.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/domains/DomainContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/domains/DomainContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/domains/DomainContextBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/domains/DomainContextBase.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/domains/DomainList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/domains/DomainList.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/domains/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/domains/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/facades/ReflectionSupportFacade.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/facades/ReflectionSupportFacade.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/facades/ShrinkingSupportFacade.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/facades/ShrinkingSupportFacade.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/facades/TestingSupportFacade.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/facades/TestingSupportFacade.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/facades/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/facades/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/footnotes/EnableFootnotes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/footnotes/EnableFootnotes.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/footnotes/Footnotes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/footnotes/Footnotes.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/footnotes/FootnotesHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/footnotes/FootnotesHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/footnotes/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/footnotes/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AddLifecycleHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AddLifecycleHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AfterContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AfterContainer.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AfterContainerHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AfterContainerHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AfterExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AfterExample.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AfterProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AfterProperty.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AfterTry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AfterTry.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AroundContainerHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AroundContainerHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AroundPropertyHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AroundPropertyHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/AroundTryHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/AroundTryHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/BeforeContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/BeforeContainer.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/BeforeContainerHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/BeforeContainerHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/BeforeExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/BeforeExample.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/BeforeProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/BeforeProperty.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/BeforeTry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/BeforeTry.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/CannotFindStoreException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/CannotFindStoreException.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/ContainerLifecycleContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/ContainerLifecycleContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/FalsifiedSample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/FalsifiedSample.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/InvokePropertyMethodHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/InvokePropertyMethodHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/LifecycleContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/LifecycleContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/LifecycleHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/LifecycleHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/LifecycleHooks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/LifecycleHooks.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/Lifespan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/Lifespan.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/MethodLifecycleContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/MethodLifecycleContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/ParameterResolutionContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/ParameterResolutionContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/PerProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/PerProperty.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/PropagationMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/PropagationMode.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/PropertyAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/PropertyAttributes.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/PropertyExecutionResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/PropertyExecutionResult.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/PropertyExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/PropertyExecutor.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/PropertyLifecycleContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/PropertyLifecycleContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/ProvidePropertyInstanceHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/ProvidePropertyInstanceHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/RegistrarHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/RegistrarHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/ResolveParameterHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/ResolveParameterHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/ShrunkFalsifiedSample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/ShrunkFalsifiedSample.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/SkipExecutionHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/SkipExecutionHook.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/Store.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/Store.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/TryExecutionResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/TryExecutionResult.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/TryExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/TryExecutor.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/TryLifecycleContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/TryLifecycleContext.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/lifecycle/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/lifecycle/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/package-info.java: -------------------------------------------------------------------------------- 1 | @NullMarked 2 | package net.jqwik.api; 3 | 4 | import org.jspecify.annotations.*; 5 | -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/providers/ArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/providers/ArbitraryProvider.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/providers/TypeUsage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/providers/TypeUsage.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/providers/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/providers/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/sessions/JqwikSession.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/sessions/JqwikSession.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/sessions/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/sessions/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/Action.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/Action.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/ActionBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/ActionBuilder.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/ActionChain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/ActionChain.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/ActionChainArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/ActionChainArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/Chain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/Chain.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/ChainArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/ChainArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/ChangeDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/ChangeDetector.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/Transformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/Transformation.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/Transformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/Transformer.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/state/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/state/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/stateful/Action.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/stateful/Action.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/stateful/ActionSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/stateful/ActionSequence.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/stateful/ActionSequenceArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/stateful/ActionSequenceArbitrary.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/stateful/Invariant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/stateful/Invariant.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/stateful/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/stateful/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/Histogram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/Histogram.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/NumberRangeHistogram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/NumberRangeHistogram.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/Statistics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/Statistics.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/StatisticsCollector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/StatisticsCollector.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/StatisticsCoverage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/StatisticsCoverage.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/StatisticsEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/StatisticsEntry.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/StatisticsReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/StatisticsReport.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/StatisticsReportFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/StatisticsReportFormat.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/StatisticsReportList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/StatisticsReportList.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/statistics/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/statistics/package-info.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/support/CollectorsSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/support/CollectorsSupport.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/support/ExceptionSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/support/ExceptionSupport.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/support/HashCodeSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/support/HashCodeSupport.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/support/LambdaSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/support/LambdaSupport.java -------------------------------------------------------------------------------- /api/src/main/java/net/jqwik/api/support/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/java/net/jqwik/api/support/package-info.java -------------------------------------------------------------------------------- /api/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/api/src/main/module/module-info.java -------------------------------------------------------------------------------- /base/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/base/build.gradle -------------------------------------------------------------------------------- /base/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/base/src/main/module/module-info.java -------------------------------------------------------------------------------- /dependencies.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/dependencies.gradle -------------------------------------------------------------------------------- /documentation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/README.md -------------------------------------------------------------------------------- /documentation/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/build.gradle -------------------------------------------------------------------------------- /documentation/src/docs/include/api-evolution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/api-evolution.md -------------------------------------------------------------------------------- /documentation/src/docs/include/assumptions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/assumptions.md -------------------------------------------------------------------------------- /documentation/src/docs/include/collecting-and-reporting-statistics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/collecting-and-reporting-statistics.md -------------------------------------------------------------------------------- /documentation/src/docs/include/combining-arbitraries.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/combining-arbitraries.md -------------------------------------------------------------------------------- /documentation/src/docs/include/contract-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/contract-tests.md -------------------------------------------------------------------------------- /documentation/src/docs/include/customized-parameter-generation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/customized-parameter-generation.md -------------------------------------------------------------------------------- /documentation/src/docs/include/data-driven-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/data-driven-properties.md -------------------------------------------------------------------------------- /documentation/src/docs/include/default-parameter-generation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/default-parameter-generation.md -------------------------------------------------------------------------------- /documentation/src/docs/include/domain-and-domain-context.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/domain-and-domain-context.md -------------------------------------------------------------------------------- /documentation/src/docs/include/exhaustive-generation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/exhaustive-generation.md -------------------------------------------------------------------------------- /documentation/src/docs/include/generation-from-type.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/generation-from-type.md -------------------------------------------------------------------------------- /documentation/src/docs/include/generation-of-edge-cases.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/generation-of-edge-cases.md -------------------------------------------------------------------------------- /documentation/src/docs/include/how-to-use.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/how-to-use.md -------------------------------------------------------------------------------- /documentation/src/docs/include/implement-your-own.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/implement-your-own.md -------------------------------------------------------------------------------- /documentation/src/docs/include/jqwik-configuration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/jqwik-configuration.md -------------------------------------------------------------------------------- /documentation/src/docs/include/kotlin-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/kotlin-module.md -------------------------------------------------------------------------------- /documentation/src/docs/include/lifecycle-hooks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/lifecycle-hooks.md -------------------------------------------------------------------------------- /documentation/src/docs/include/providing-default-arbitraries.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/providing-default-arbitraries.md -------------------------------------------------------------------------------- /documentation/src/docs/include/recursive-arbitraries.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/recursive-arbitraries.md -------------------------------------------------------------------------------- /documentation/src/docs/include/rerunning-falsified-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/rerunning-falsified-properties.md -------------------------------------------------------------------------------- /documentation/src/docs/include/result-shrinking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/result-shrinking.md -------------------------------------------------------------------------------- /documentation/src/docs/include/stateful-testing-old.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/stateful-testing-old.md -------------------------------------------------------------------------------- /documentation/src/docs/include/stateful-testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/stateful-testing.md -------------------------------------------------------------------------------- /documentation/src/docs/include/testing-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/testing-module.md -------------------------------------------------------------------------------- /documentation/src/docs/include/time-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/time-module.md -------------------------------------------------------------------------------- /documentation/src/docs/include/using-arbitraries-directly.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/using-arbitraries-directly.md -------------------------------------------------------------------------------- /documentation/src/docs/include/web-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/web-module.md -------------------------------------------------------------------------------- /documentation/src/docs/include/writing-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/include/writing-properties.md -------------------------------------------------------------------------------- /documentation/src/docs/index.template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/index.template.html -------------------------------------------------------------------------------- /documentation/src/docs/user-guide.template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/docs/user-guide.template.md -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/MakeGradleHappyTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/MakeGradleHappyTests.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ArbitrarySupplierExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ArbitrarySupplierExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/AssumptionExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/AssumptionExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/BuildersExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/BuildersExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ChoosingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ChoosingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/CombinatorsExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/CombinatorsExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/DataDrivenPropertyExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/DataDrivenPropertyExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/DatesExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/DatesExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/EdgeCasesExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/EdgeCasesExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ExampleBasedTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ExampleBasedTests.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/FizzBuzzTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/FizzBuzzTests.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/FlatMappingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/FlatMappingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/FluentConfigurationExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/FluentConfigurationExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ForEachValueExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ForEachValueExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/FrequencyOfExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/FrequencyOfExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/FunctionalTypeExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/FunctionalTypeExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/GermanText.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/GermanText.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/InjectDuplicateExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/InjectDuplicateExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/MappingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/MappingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/MapsExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/MapsExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/NamingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/NamingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/OneOfExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/OneOfExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/PropertyBasedTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/PropertyBasedTests.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/PropertyDefaultsExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/PropertyDefaultsExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ProvideMethodExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ProvideMethodExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/RandomDistributionExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/RandomDistributionExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/RecursiveExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/RecursiveExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/SamplingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/SamplingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/SelfMadeAnnotationExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/SelfMadeAnnotationExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ShrinkingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ShrinkingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ShrinkingFilterExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ShrinkingFilterExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/ShrinkingTargetExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/ShrinkingTargetExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/SimpleExampleTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/SimpleExampleTests.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/SimpleLifecycleTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/SimpleLifecycleTests.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/TaggingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/TaggingExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/TestsWithGroups.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/TestsWithGroups.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/UniquenessExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/UniquenessExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/arbitraryconfigurator/Odd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/arbitraryconfigurator/Odd.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/defaultprovider/Money.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/defaultprovider/Money.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/domains/Address.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/domains/Address.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/domains/AddressProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/domains/AddressProperties.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/domains/AmericanAddresses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/domains/AmericanAddresses.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/domains/City.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/domains/City.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/domains/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/domains/State.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/domains/Street.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/domains/Street.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/footnotes/FootnotesExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/footnotes/FootnotesExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/CombineExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/CombineExamples.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/CoroutineExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/CoroutineExamples.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/GroupingExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/GroupingExamples.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/InlineClassExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/InlineClassExamples.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/KotlinFunctionExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/KotlinFunctionExamples.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/KotlinSingletonExample.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/KotlinSingletonExample.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/kotlin/NullabilityExamples.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/kotlin/NullabilityExamples.kt -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/lifecycle/Timing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/lifecycle/Timing.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/state/RegexChainExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/state/RegexChainExample.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/state/mystack/MyStringStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/state/mystack/MyStringStack.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/state/mystore/MyStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/state/mystore/MyStore.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/stateful/mystack/PopAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/stateful/mystack/PopAction.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/stateful/mystack/PushAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/stateful/mystack/PushAction.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/time/DateTimeExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/time/DateTimeExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/types/Party.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/types/Party.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/types/Person.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/types/Person.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/types/TypeArbitraryExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/types/TypeArbitraryExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/web/EmailExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/web/EmailExamples.java -------------------------------------------------------------------------------- /documentation/src/test/java/net/jqwik/docs/web/WebDomainExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/java/net/jqwik/docs/web/WebDomainExamples.java -------------------------------------------------------------------------------- /documentation/src/test/resources/junit-platform.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/resources/junit-platform.properties -------------------------------------------------------------------------------- /documentation/src/test/resources/log4j2-test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/documentation/src/test/resources/log4j2-test.xml -------------------------------------------------------------------------------- /engine/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/build.gradle -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/ArbitraryDelegator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/ArbitraryDelegator.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/DefaultJqwikConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/DefaultJqwikConfiguration.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/JqwikConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/JqwikConfiguration.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/JqwikProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/JqwikProperties.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/JqwikTestEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/JqwikTestEngine.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/PropertyAttributesDefaults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/PropertyAttributesDefaults.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/SourceOfRandomness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/SourceOfRandomness.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/TestEngineConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/TestEngineConfiguration.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/descriptor/DiscoverySupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/descriptor/DiscoverySupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/descriptor/JqwikDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/descriptor/JqwikDescriptor.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/descriptor/JqwikEngineDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/descriptor/JqwikEngineDescriptor.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/descriptor/PropertyConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/descriptor/PropertyConfiguration.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/descriptor/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/descriptor/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/AbstractClassResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/AbstractClassResolver.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/ElementResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/ElementResolver.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/GroupContainerResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/GroupContainerResolver.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/JqwikDiscoverer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/JqwikDiscoverer.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/JqwikUniqueIDs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/JqwikUniqueIDs.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/PropertyMethodResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/PropertyMethodResolver.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/predicates/IsProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/predicates/IsProperty.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/specs/DiscoverySpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/specs/DiscoverySpec.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/discovery/specs/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/discovery/specs/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/CheckedProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/CheckedProperty.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/CheckedPropertyFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/CheckedPropertyFactory.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/CombinedDomainContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/CombinedDomainContext.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/ContainerTaskCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/ContainerTaskCreator.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/DomainContextFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/DomainContextFactory.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/EngineLifecycleContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/EngineLifecycleContext.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/ExecutionTaskCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/ExecutionTaskCreator.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/GenerationInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/GenerationInfo.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/JqwikExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/JqwikExecutor.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/ParametersGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/ParametersGenerator.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/PropertyMethodExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/PropertyMethodExecutor.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/PropertyTaskCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/PropertyTaskCreator.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/ReportEntrySupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/ReportEntrySupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/lifecycle/HookSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/lifecycle/HookSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/lifecycle/ScopedStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/lifecycle/ScopedStore.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/lifecycle/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/lifecycle/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/pipeline/ExecutionTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/pipeline/ExecutionTask.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/pipeline/Pipeline.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/pipeline/Pipeline.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/pipeline/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/pipeline/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/reporting/LineReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/reporting/LineReporter.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/reporting/ValueReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/reporting/ValueReport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/execution/reporting/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/execution/reporting/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/ActionChainFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/ActionChainFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/ArbitrariesFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/ArbitrariesFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/ArbitraryFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/ArbitraryFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/ChainFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/ChainFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/CombinatorsFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/CombinatorsFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/DomainContextFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/DomainContextFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/EdgeCasesFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/EdgeCasesFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/FunctionsFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/FunctionsFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/JqwikSessionFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/JqwikSessionFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/Memoize.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/Memoize.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/SampleStreamFacade.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/SampleStreamFacade.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/ShrinkableFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/ShrinkableFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/StatisticsFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/StatisticsFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/StoreFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/StoreFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/TestingSupportFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/TestingSupportFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/TypeUsageFacadeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/TypeUsageFacadeImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/facades/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/facades/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/DisabledHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/DisabledHook.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/Hooks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/Hooks.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/ResolveReporterHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/ResolveReporterHook.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/lifecycle/LifecycleMethods.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/lifecycle/LifecycleMethods.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/lifecycle/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/lifecycle/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/statistics/StatisticsHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/statistics/StatisticsHook.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/hooks/statistics/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/hooks/statistics/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/package-info.java: -------------------------------------------------------------------------------- 1 | @NullMarked 2 | package net.jqwik.engine; 3 | 4 | import org.jspecify.annotations.*; -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/ArbitraryResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/ArbitraryResolver.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/CheckedFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/CheckedFunction.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/DataResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/DataResolver.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/DefaultArbitraries.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/DefaultArbitraries.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/EdgeCasesGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/EdgeCasesGenerator.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/FalsifiedSampleImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/FalsifiedSampleImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/FeatureExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/FeatureExtractor.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/GenericProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/GenericProperty.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/PropertyCheckResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/PropertyCheckResult.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/ProviderMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/ProviderMethod.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/Range.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/Range.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/UniquenessChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/UniquenessChecker.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/state/ShrinkableChain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/state/ShrinkableChain.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/state/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/state/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/properties/stateful/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/properties/stateful/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/ArrayArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/ArrayArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/ByteArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/ByteArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/EntryArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/EntryArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/EnumArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/EnumArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/FloatArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/FloatArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/ListArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/ListArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/LongArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/LongArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/SetArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/SetArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/ShortArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/ShortArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/VoidArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/VoidArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/providers/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/providers/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/recording/TestRun.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/recording/TestRun.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/recording/TestRunData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/recording/TestRunData.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/recording/TestRunDatabase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/recording/TestRunDatabase.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/recording/TestRunRecorder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/recording/TestRunRecorder.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/recording/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/recording/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/Combinatorics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/Combinatorics.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/GenericsClassContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/GenericsClassContext.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/GenericsSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/GenericsSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/JqwikAnnotationSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/JqwikAnnotationSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/JqwikExceptionSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/JqwikExceptionSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/JqwikKotlinSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/JqwikKotlinSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/JqwikReflectionSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/JqwikReflectionSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/JqwikStreamSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/JqwikStreamSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/JqwikStringSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/JqwikStringSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/LazyServiceLoaderCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/LazyServiceLoaderCache.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/LruCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/LruCache.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/MathSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/MathSupport.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/MethodParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/MethodParameter.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/StreamConcatenation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/StreamConcatenation.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/TypeResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/TypeResolution.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/package-info.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/types/TypeUsageImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/types/TypeUsageImpl.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/types/TypeUsageToString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/types/TypeUsageToString.java -------------------------------------------------------------------------------- /engine/src/main/java/net/jqwik/engine/support/types/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/java/net/jqwik/engine/support/types/package-info.java -------------------------------------------------------------------------------- /engine/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/main/module/module-info.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/CombiningCharacterArbitrariesBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/CombiningCharacterArbitrariesBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/ExhaustiveGenerationBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/ExhaustiveGenerationBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/GeneratingHighDoubles.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/GeneratingHighDoubles.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/Issue519Bug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/Issue519Bug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/JqwikActionsShrinkToNothing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/JqwikActionsShrinkToNothing.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/JqwikHeapBust.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/JqwikHeapBust.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/JqwikLogExplosion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/JqwikLogExplosion.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/ListOfConsumersBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/ListOfConsumersBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/MaxEdgeCasesBelowZeroBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/MaxEdgeCasesBelowZeroBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/PositiveIntegersGenerationBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/PositiveIntegersGenerationBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/SampleInGeneratorBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/SampleInGeneratorBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/ShrinkingListElementsNotEnough.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/ShrinkingListElementsNotEnough.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/ShrinkingStackOverflow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/ShrinkingStackOverflow.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/bugs/StringListGenerationBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/bugs/StringListGenerationBug.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithDisabledTests/DisabledTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithDisabledTests/DisabledTests.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithErrors/ContainerWithOOME.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithErrors/ContainerWithOOME.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithFailings/Container1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithFailings/Container1.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithFailings/Container2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithFailings/Container2.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithInheritance/AbstractContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithInheritance/AbstractContainer.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithInheritance/InterfaceTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithInheritance/InterfaceTests.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithProperties/FizzBuzzTests2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithProperties/FizzBuzzTests2.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithProperties/GeneratorsExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithProperties/GeneratorsExamples.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithProperties/ShrinkingExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithProperties/ShrinkingExamples.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithProperties/TestsForReporting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithProperties/TestsForReporting.java -------------------------------------------------------------------------------- /engine/src/test/java/examples/packageWithSeveralContainers/MixedTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/examples/packageWithSeveralContainers/MixedTests.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/CompositeActionExperiments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/CompositeActionExperiments.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/GuidanceExperiments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/GuidanceExperiments.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/MarkovChainExperiments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/MarkovChainExperiments.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/MutatingChainExperiments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/MutatingChainExperiments.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/PerformanceTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/PerformanceTests.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/ProbabilisticExperiments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/ProbabilisticExperiments.java -------------------------------------------------------------------------------- /engine/src/test/java/experiments/SharedArbitraryExperiments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/experiments/SharedArbitraryExperiments.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/ArchitectureTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/ArchitectureTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/OrderedArbitraryForTesting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/OrderedArbitraryForTesting.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/UseArbitrariesOutsideJqwikTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/UseArbitrariesOutsideJqwikTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ArbitrariesRecursiveTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ArbitrariesRecursiveTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ArbitrariesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ArbitrariesTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ArbitraryIgnoreExceptionsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ArbitraryIgnoreExceptionsTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ArbitraryTestHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ArbitraryTestHelper.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ArrayArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ArrayArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/BuildersTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/BuildersTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/CombinatorsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/CombinatorsTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/DoubleArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/DoubleArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ExhaustiveGenerationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ExhaustiveGenerationTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/FlatCombinatorsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/FlatCombinatorsTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/FloatArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/FloatArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/FunctionsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/FunctionsTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/GenericGenerationProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/GenericGenerationProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/IteratorArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/IteratorArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/ListArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/ListArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/MapArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/MapArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/SetArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/SetArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/StreamArbitraryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/StreamArbitraryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/TupleTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/TupleTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/configurators/ConfiguratorBaseTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/configurators/ConfiguratorBaseTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/CharsProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/CharsProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/NegativeProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/NegativeProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/NotBlankProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/NotBlankProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/PositiveProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/PositiveProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/RangeProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/RangeProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/ScaleProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/ScaleProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/SizeProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/SizeProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/StringLengthProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/StringLengthProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/UniqueCharsProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/UniqueCharsProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/UseTypeProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/UseTypeProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/WhitespaceProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/WhitespaceProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/constraints/WithNullProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/constraints/WithNullProperties.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/ContextIsArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/ContextIsArbitraryProvider.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/ContextWithDomainAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/ContextWithDomainAnnotation.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/ContextWithProviderMethods.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/ContextWithProviderMethods.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/DomainContextBaseTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/DomainContextBaseTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/DomainInitializationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/DomainInitializationTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/Doubled.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/Doubled.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/domains/MakeNegative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/domains/MakeNegative.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/edgeCases/ArbitrariesEdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/edgeCases/ArbitrariesEdgeCasesTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/edgeCases/ArbitraryEdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/edgeCases/ArbitraryEdgeCasesTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/edgeCases/EdgeCasesExceedLimitTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/edgeCases/EdgeCasesExceedLimitTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/edgeCases/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/edgeCases/EdgeCasesTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/edgeCases/NumbersEdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/edgeCases/NumbersEdgeCasesTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/lifecycle/PerPropertyTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/lifecycle/PerPropertyTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/lifecycle/PropertyDefaultsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/lifecycle/PropertyDefaultsTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/providers/TypeUsageTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/providers/TypeUsageTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/statistics/HistogramTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/statistics/HistogramTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/statistics/StatisticsCoverageTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/statistics/StatisticsCoverageTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/support/HashCodeSupportTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/support/HashCodeSupportTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/api/support/LambdaSupportTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/api/support/LambdaSupportTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/JqwikIntegrationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/JqwikIntegrationTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/JqwikPropertiesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/JqwikPropertiesTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/JqwikUniqueIdBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/JqwikUniqueIdBuilder.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/TestDescriptorBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/TestDescriptorBuilder.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/TestHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/TestHelper.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/discovery/ContainerResolverTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/discovery/ContainerResolverTest.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/discovery/DiscoveryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/discovery/DiscoveryTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/execution/ExecutionPipelineTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/execution/ExecutionPipelineTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/execution/GenerationInfoTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/execution/GenerationInfoTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/execution/JqwikExecutorTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/execution/JqwikExecutorTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/execution/MockExecutionTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/execution/MockExecutionTask.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/execution/MockPipeline.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/execution/MockPipeline.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/execution/lifecycle/StoreTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/execution/lifecycle/StoreTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/matchers/IsClassDescriptorFor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/matchers/IsClassDescriptorFor.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/matchers/IsPropertyDescriptorFor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/matchers/IsPropertyDescriptorFor.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/matchers/IsTestResultFailure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/matchers/IsTestResultFailure.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/matchers/TestDescriptorMatchers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/matchers/TestDescriptorMatchers.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/properties/CheckedPropertyTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/properties/CheckedPropertyTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/properties/ForAllSpy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/properties/ForAllSpy.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/properties/GenericPropertyTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/properties/GenericPropertyTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/properties/RangeTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/properties/RangeTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/statistics/StatisticsHookTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/statistics/StatisticsHookTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/support/CombinatoricsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/support/CombinatoricsTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/support/CombinedIteratorTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/support/CombinedIteratorTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/support/GenericsSupportTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/support/GenericsSupportTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/engine/support/JqwikStreamSupportTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/engine/support/JqwikStreamSupportTests.java -------------------------------------------------------------------------------- /engine/src/test/java/net/jqwik/testing/TestingSupportTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/engine/src/test/java/net/jqwik/testing/TestingSupportTests.java -------------------------------------------------------------------------------- /experiments/Builder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/Builder.java -------------------------------------------------------------------------------- /experiments/DataDrivenSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/DataDrivenSpec.java -------------------------------------------------------------------------------- /experiments/Fixture.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/Fixture.java -------------------------------------------------------------------------------- /experiments/ForAllLifeCycle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/ForAllLifeCycle.java -------------------------------------------------------------------------------- /experiments/ForEachLifeCycle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/ForEachLifeCycle.java -------------------------------------------------------------------------------- /experiments/SimpleSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/SimpleSpec.java -------------------------------------------------------------------------------- /experiments/Spec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/Spec.java -------------------------------------------------------------------------------- /experiments/SpecPlugin.java: -------------------------------------------------------------------------------- 1 | package experiments; 2 | 3 | public interface SpecPlugin { 4 | } 5 | -------------------------------------------------------------------------------- /experiments/SpecWithFixtureClasses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/SpecWithFixtureClasses.java -------------------------------------------------------------------------------- /experiments/UsePlugIn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/experiments/UsePlugIn.java -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/gradle.properties -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/gradlew.bat -------------------------------------------------------------------------------- /jqwik-images.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/jqwik-images.key -------------------------------------------------------------------------------- /kotlin/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/build.gradle -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/AnyForSubtypeOfDsl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/AnyForSubtypeOfDsl.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/ArbitraryExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/ArbitraryExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/BuildersExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/BuildersExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/CollectionExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/CollectionExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/CombinatorDsl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/CombinatorDsl.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/CombinatorsExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/CombinatorsExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/IntRangeArbitrary.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/IntRangeArbitrary.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/JqwikGlobals.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/KotlinTypesExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/KotlinTypesExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/SequenceArbitrary.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/SequenceArbitrary.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/SizableArbitraryExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/SizableArbitraryExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/StringArbitraryExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/TupleExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/TupleExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/TypeAliases.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/TypeAliases.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/api/TypeUsageExtensions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/api/TypeUsageExtensions.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KTypeEnhancer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KTypeEnhancer.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KotlinReflectionSupport.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KotlinReflectionSupport.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KotlinSizeConfigurator.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KotlinSizeConfigurator.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/NullabilityEnhancer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/NullabilityEnhancer.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/PairArbitraryProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/PairArbitraryProvider.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/PairReportingFormat.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/PairReportingFormat.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/TripleArbitraryProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/TripleArbitraryProvider.kt -------------------------------------------------------------------------------- /kotlin/src/main/kotlin/net/jqwik/kotlin/internal/TripleReportingFormat.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/TripleReportingFormat.kt -------------------------------------------------------------------------------- /kotlin/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/main/module/module-info.java -------------------------------------------------------------------------------- /kotlin/src/test/java/net/jqwik/kotlin/java/JavaProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/java/net/jqwik/kotlin/java/JavaProperty.java -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/AnyForSubtypeOfTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/AnyForSubtypeOfTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/ArbitraryExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/ArbitraryExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/BuildersExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/BuildersExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/CollectionExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/CollectionExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/CombinatorDslTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/CombinatorDslTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/CombinatorsExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/CombinatorsExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/ConvenienceFunctionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/ConvenienceFunctionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/DataClassAsContainerTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/DataClassAsContainerTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/IntRangeArbitraryTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/IntRangeArbitraryTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/InternalModifierTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/InternalModifierTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/JqwikTupleTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/JqwikTupleTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinFunctionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinFunctionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinPairTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinPairTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinSequenceTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinSequenceTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinTripleTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinTripleTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinTypesCompatibilityTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinTypesCompatibilityTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinTypesExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/KotlinTypesExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/NullabilityTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/NullabilityTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/ParameterAnnotationsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/ParameterAnnotationsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/PropertyMethodContextTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/PropertyMethodContextTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/ReflectionSupportTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/ReflectionSupportTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/ReportingFormatsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/ReportingFormatsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/SingletonTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/SingletonTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/SizableArbitraryExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/SizableArbitraryExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/StringArbitraryExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/StringArbitraryExtensionsTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/SuspendedPropertiesTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/SuspendedPropertiesTests.kt -------------------------------------------------------------------------------- /kotlin/src/test/kotlin/net/jqwik/kotlin/TypeUsageExtensionsTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/kotlin/src/test/kotlin/net/jqwik/kotlin/TypeUsageExtensionsTests.kt -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/settings.gradle -------------------------------------------------------------------------------- /signalPublishToCentralSonatype.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/signalPublishToCentralSonatype.sh -------------------------------------------------------------------------------- /test-modular-api/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/test-modular-api/build.gradle -------------------------------------------------------------------------------- /test-modular-api/src/test/java/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/test-modular-api/src/test/java/module-info.java -------------------------------------------------------------------------------- /test-modular-api/src/test/java/test/modular/api/ModularTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/test-modular-api/src/test/java/test/modular/api/ModularTests.java -------------------------------------------------------------------------------- /test-modular-api/src/test/resources/junit-platform.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/test-modular-api/src/test/resources/junit-platform.properties -------------------------------------------------------------------------------- /testing/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/build.gradle -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/CheckReporting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/CheckReporting.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/ExpectFailure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/ExpectFailure.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/ReportMemoryHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/ReportMemoryHook.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/ShrinkToChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/ShrinkToChecker.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/ShrinkingSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/ShrinkingSupport.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/SuppressLogging.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/SuppressLogging.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/TestingFalsifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/TestingFalsifier.java -------------------------------------------------------------------------------- /testing/src/main/java/net/jqwik/testing/TestingSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/java/net/jqwik/testing/TestingSupport.java -------------------------------------------------------------------------------- /testing/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/module/module-info.java -------------------------------------------------------------------------------- /testing/src/main/resources/archunit.properties: -------------------------------------------------------------------------------- 1 | archRule.failOnEmptyShould = false -------------------------------------------------------------------------------- /testing/src/main/resources/junit-platform.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/resources/junit-platform.properties -------------------------------------------------------------------------------- /testing/src/main/resources/log4j2-test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/testing/src/main/resources/log4j2-test.xml -------------------------------------------------------------------------------- /time/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/build.gradle -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/DateTimes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/DateTimes.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/Dates.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/Dates.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/Times.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/Times.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/CalendarArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/CalendarArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/DateArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/DateArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/DurationArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/DurationArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/InstantArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/InstantArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/LocalDateArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/LocalDateArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/LocalTimeArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/LocalTimeArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/MonthDayArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/MonthDayArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/OffsetTimeArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/OffsetTimeArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/PeriodArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/PeriodArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/YearArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/YearArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/YearMonthArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/YearMonthArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/ZoneOffsetArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/ZoneOffsetArbitrary.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/arbitraries/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/arbitraries/package-info.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/DateRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/DateRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/DateTimeRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/DateTimeRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/DayOfMonthRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/DayOfMonthRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/DayOfWeekRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/DayOfWeekRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/DurationRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/DurationRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/HourRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/HourRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/InstantRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/InstantRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/MinuteRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/MinuteRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/MonthDayRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/MonthDayRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/MonthRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/MonthRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/OffsetRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/OffsetRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/PeriodRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/PeriodRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/Precision.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/Precision.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/SecondRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/SecondRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/TimeRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/TimeRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/YearMonthRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/YearMonthRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/YearRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/YearRange.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/constraints/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/constraints/package-info.java -------------------------------------------------------------------------------- /time/src/main/java/net/jqwik/time/api/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/java/net/jqwik/time/api/package-info.java -------------------------------------------------------------------------------- /time/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/main/module/module-info.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/calendar/ConstraintTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/calendar/ConstraintTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/calendar/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/calendar/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/calendar/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/calendar/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/date/ConstraintTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/date/ConstraintTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/date/DateMethodsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/date/DateMethodsTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/date/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/date/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/date/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/date/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/localDate/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/localDate/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/localDate/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/localDate/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/monthDay/ConstraintTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/monthDay/ConstraintTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/monthDay/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/monthDay/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/monthDay/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/monthDay/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/period/ConstraintTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/period/ConstraintTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/period/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/period/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/period/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/period/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/year/ConstraintTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/year/ConstraintTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/year/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/year/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/year/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/year/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/year/YearMethodsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/year/YearMethodsTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/yearMonth/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/yearMonth/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/dates/yearMonth/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/dates/yearMonth/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/testingSupport/ForCalendar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/testingSupport/ForCalendar.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/testingSupport/ForDate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/testingSupport/ForDate.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/testingSupport/ForDuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/testingSupport/ForDuration.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/times/duration/ConstraintTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/times/duration/ConstraintTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/times/duration/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/times/duration/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/times/duration/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/times/duration/ShrinkingTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/times/localTime/EdgeCasesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/times/localTime/EdgeCasesTests.java -------------------------------------------------------------------------------- /time/src/test/java/net/jqwik/time/api/times/localTime/ShrinkingTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/time/src/test/java/net/jqwik/time/api/times/localTime/ShrinkingTests.java -------------------------------------------------------------------------------- /web/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/build.gradle -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/DefaultEmailArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/DefaultEmailArbitrary.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/DefaultWebDomainArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/DefaultWebDomainArbitrary.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/EmailArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/EmailArbitraryProvider.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/WebDomainArbitraryProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/WebDomainArbitraryProvider.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/api/Email.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/api/Email.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/api/EmailArbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/api/EmailArbitrary.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/api/Web.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/api/Web.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/api/WebDomain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/java/net/jqwik/web/api/WebDomain.java -------------------------------------------------------------------------------- /web/src/main/java/net/jqwik/web/api/package-info.java: -------------------------------------------------------------------------------- 1 | @NullMarked 2 | package net.jqwik.web.api; 3 | 4 | import org.jspecify.annotations.*; -------------------------------------------------------------------------------- /web/src/main/module/module-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/main/module/module-info.java -------------------------------------------------------------------------------- /web/src/test/java/net/jqwik/web/api/EmailProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/test/java/net/jqwik/web/api/EmailProperties.java -------------------------------------------------------------------------------- /web/src/test/java/net/jqwik/web/api/EmailsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/test/java/net/jqwik/web/api/EmailsTests.java -------------------------------------------------------------------------------- /web/src/test/java/net/jqwik/web/api/WebDomainTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/test/java/net/jqwik/web/api/WebDomainTests.java -------------------------------------------------------------------------------- /web/src/test/java/net/jqwik/web/api/WebTestingSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jqwik-team/jqwik/HEAD/web/src/test/java/net/jqwik/web/api/WebTestingSupport.java --------------------------------------------------------------------------------