├── .circleci └── config.yml ├── .gitignore ├── .travis.yml ├── LICENSE.txt ├── README.md ├── azure-pipelines.yml ├── core ├── bnd.bnd ├── log.txt ├── pom.xml └── src │ ├── main │ └── java │ │ └── org │ │ └── quicktheories │ │ ├── QuickTheory.java │ │ ├── WithQuickTheories.java │ │ ├── api │ │ ├── AsString.java │ │ ├── Consumer5.java │ │ ├── Function3.java │ │ ├── Function4.java │ │ ├── Function5.java │ │ ├── Pair.java │ │ ├── Predicate3.java │ │ ├── Predicate4.java │ │ ├── Predicate5.java │ │ ├── QuadConsumer.java │ │ ├── Subject1.java │ │ ├── Subject2.java │ │ ├── Subject3.java │ │ ├── Subject4.java │ │ ├── Subject5.java │ │ ├── TriConsumer.java │ │ ├── Tuple3.java │ │ ├── Tuple4.java │ │ ├── Tuple5.java │ │ └── package-info.java │ │ ├── core │ │ ├── Configuration.java │ │ ├── DetatchedRandomnessSource.java │ │ ├── ExceptionReporter.java │ │ ├── Gen.java │ │ ├── Guidance.java │ │ ├── GuidanceFactory.java │ │ ├── Mod.java │ │ ├── NoGuidance.java │ │ ├── Profile.java │ │ ├── PseudoRandom.java │ │ ├── RandomnessSource.java │ │ ├── Reporter.java │ │ ├── Strategy.java │ │ ├── XOrShiftPRNG.java │ │ ├── package-info.java │ │ └── stateful │ │ │ ├── Command.java │ │ │ ├── Parallel.java │ │ │ └── Sequential.java │ │ ├── dsl │ │ ├── MappingTheoryBuilder.java │ │ ├── PrecursorTheoryBuilder1.java │ │ ├── PrecursorTheoryBuilder2.java │ │ ├── PrecursorTheoryBuilder3.java │ │ ├── PrecursorTheoryBuilder4.java │ │ ├── TheoryBuilder.java │ │ ├── TheoryBuilder2.java │ │ ├── TheoryBuilder3.java │ │ └── TheoryBuilder4.java │ │ ├── generators │ │ ├── ArbitraryDSL.java │ │ ├── ArgumentAssertions.java │ │ ├── ArraysDSL.java │ │ ├── BigDecimalsDSL.java │ │ ├── BigIntegersDSL.java │ │ ├── BooleansDSL.java │ │ ├── CharactersDSL.java │ │ ├── CodePoints.java │ │ ├── DatesDSL.java │ │ ├── Doubles.java │ │ ├── DoublesDSL.java │ │ ├── Floats.java │ │ ├── FloatsDSL.java │ │ ├── Generate.java │ │ ├── IntegersDSL.java │ │ ├── Lists.java │ │ ├── ListsDSL.java │ │ ├── LocalDatesDSL.java │ │ ├── LongsDSL.java │ │ ├── Maps.java │ │ ├── MapsDSL.java │ │ ├── SourceDSL.java │ │ ├── Strings.java │ │ ├── StringsDSL.java │ │ └── package-info.java │ │ ├── impl │ │ ├── AttemptsExhaustedException.java │ │ ├── BoundarySkewedDistribution.java │ │ ├── ConcreteDetachedSource.java │ │ ├── Constraint.java │ │ ├── Core.java │ │ ├── Distribution.java │ │ ├── ExtendedRandomnessSource.java │ │ ├── Falsification.java │ │ ├── ForcedDistribution.java │ │ ├── Precursor.java │ │ ├── PrecursorDataPair.java │ │ ├── Property.java │ │ ├── RandomDistribution.java │ │ ├── SearchResult.java │ │ ├── ShapedDataSource.java │ │ ├── ShrinkStrategy.java │ │ ├── SimpleShrink.java │ │ ├── TheoryRunner.java │ │ └── package-info.java │ │ └── package-info.java │ └── test │ └── java │ ├── com │ └── example │ │ ├── CylinderExample.java │ │ ├── ExampleProfiles.java │ │ ├── Haystack.java │ │ ├── Matrix.java │ │ ├── MatrixExample.java │ │ ├── PropertyTestExamples.java │ │ ├── QuickTheoriesExample.java │ │ └── StatefulTest.java │ └── org │ └── quicktheories │ ├── Airity1Test.java │ ├── Airity2Test.java │ ├── Airity3Test.java │ ├── Airity4Test.java │ ├── FooInteger.java │ ├── WithQuickTheoriesTest.java │ ├── api │ ├── PairTest.java │ ├── Predicate3Test.java │ ├── Predicate4Test.java │ ├── Predicate5Test.java │ ├── Tuple3Test.java │ ├── Tuple4Test.java │ └── Tuple5Test.java │ ├── core │ ├── ConfigurationTest.java │ ├── ExceptionReporterTest.java │ ├── GenTest.java │ ├── NoGuidanceTest.java │ ├── ProfileTest.java │ ├── ToStringTest.java │ ├── XOrShiftPRNGTest.java │ └── stateful │ │ └── StatefulTest.java │ ├── dogfood │ ├── ArraysDSLTest.java │ ├── BigDecimalsTest.java │ ├── CodePointsTest.java │ ├── ListsDSLTest.java │ ├── MapsDSLTest.java │ └── SanityTest.java │ ├── generators │ ├── ArbritaryTest.java │ ├── ArraysTest.java │ ├── BigDecimalsTest.java │ ├── BigIntegersTest.java │ ├── BooleansTest.java │ ├── CharactersTest.java │ ├── CodePointsTest.java │ ├── DatesTest.java │ ├── DoublesTest.java │ ├── FloatsTest.java │ ├── GenerateTest.java │ ├── IntegersTest.java │ ├── ListsTest.java │ ├── LocalDatesTest.java │ ├── LongsTest.java │ ├── MapsTest.java │ ├── SourceDSLTest.java │ ├── StringsDSLTest.java │ └── StringsTest.java │ ├── highlevel │ ├── ComponentTest.java │ ├── DatesComponentTest.java │ ├── DoublesComponentTest.java │ ├── IntegersComponentTest.java │ ├── IntegersListsComponentTests.java │ ├── LocalDatesComponentTest.java │ └── LongsComponentTest.java │ └── impl │ ├── ConstraintTest.java │ ├── GenAssert.java │ ├── PrecursorTest.java │ ├── QTTester.java │ ├── ShapedDataSourceTest.java │ ├── SimpleRandomnessSource.java │ └── TheoryRunnerTest.java ├── coverage ├── pom.xml └── src │ ├── main │ ├── java │ │ ├── org │ │ │ └── quicktheories │ │ │ │ └── coverage │ │ │ │ ├── Agent.java │ │ │ │ ├── ClassByteArraySource.java │ │ │ │ ├── ClassloaderByteArraySource.java │ │ │ │ ├── ComputeClassWriter.java │ │ │ │ ├── CoverageClassVisitor.java │ │ │ │ ├── CoverageGuidance.java │ │ │ │ ├── CoverageGuidanceFactory.java │ │ │ │ ├── CoverageTransformer.java │ │ │ │ ├── FileUtil.java │ │ │ │ ├── FrameOptions.java │ │ │ │ ├── Installer.java │ │ │ │ └── analysis │ │ │ │ ├── AbstractCoverageStrategy.java │ │ │ │ ├── ArrayProbeCoverageMethodVisitor.java │ │ │ │ ├── Block.java │ │ │ │ ├── ControlFlowAnalyser.java │ │ │ │ ├── CoverageAnalyser.java │ │ │ │ ├── DefaultInstructionCounter.java │ │ │ │ ├── InstructionCounter.java │ │ │ │ ├── InstructionTrackingMethodVisitor.java │ │ │ │ ├── LocalVariableCoverageMethodVisitor.java │ │ │ │ └── SimpleBlockCoverageVisitor.java │ │ └── sun │ │ │ └── quicktheories │ │ │ └── coverage │ │ │ ├── CodeCoverageStore.java │ │ │ └── InvokeReceiver.java │ └── resources │ │ └── META-INF │ │ └── services │ │ └── org.quicktheories.core.GuidanceFactory │ └── test │ └── java │ ├── com │ └── example │ │ └── HayStack.java │ ├── org │ └── quicktheories │ │ └── coverage │ │ ├── CoverageGuidanceFactoryIT.java │ │ ├── CoverageGuidanceIT.java │ │ ├── CoverageTransformerTest.java │ │ ├── analysis │ │ └── BlockTest.java │ │ └── codeassist │ │ ├── ClassUtils.java │ │ ├── CoverageClassVisitorTest.java │ │ └── samples │ │ ├── Bridge.java │ │ ├── ClassWithAMethod.java │ │ ├── ClassWithInitialisedField.java │ │ ├── Gen.java │ │ ├── HasDefaultConstructor.java │ │ ├── LambdasInDefaultMethods.java │ │ └── NoDefaultConstructor.java │ └── sun │ └── quicktheories │ └── coverage │ └── CodeCoverageStoreTest.java ├── eclipse_cleanup.xml ├── eclipse_java_format.xml └── pom.xml /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/README.md -------------------------------------------------------------------------------- /azure-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/azure-pipelines.yml -------------------------------------------------------------------------------- /core/bnd.bnd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/bnd.bnd -------------------------------------------------------------------------------- /core/log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/log.txt -------------------------------------------------------------------------------- /core/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/pom.xml -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/QuickTheory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/QuickTheory.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/WithQuickTheories.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/WithQuickTheories.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/AsString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/AsString.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Consumer5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Consumer5.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Function3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Function3.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Function4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Function4.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Function5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Function5.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Pair.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Predicate3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Predicate3.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Predicate4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Predicate4.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Predicate5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Predicate5.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/QuadConsumer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/QuadConsumer.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Subject1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Subject1.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Subject2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Subject2.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Subject3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Subject3.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Subject4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Subject4.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Subject5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Subject5.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/TriConsumer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/TriConsumer.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Tuple3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Tuple3.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Tuple4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Tuple4.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/Tuple5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/Tuple5.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/api/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/api/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Configuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Configuration.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/DetatchedRandomnessSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/DetatchedRandomnessSource.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/ExceptionReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/ExceptionReporter.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Gen.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Gen.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Guidance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Guidance.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/GuidanceFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/GuidanceFactory.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Mod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Mod.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/NoGuidance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/NoGuidance.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Profile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Profile.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/PseudoRandom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/PseudoRandom.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/RandomnessSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/RandomnessSource.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Reporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Reporter.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/Strategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/Strategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/XOrShiftPRNG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/XOrShiftPRNG.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/stateful/Command.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/stateful/Command.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/stateful/Parallel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/stateful/Parallel.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/core/stateful/Sequential.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/core/stateful/Sequential.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/MappingTheoryBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/MappingTheoryBuilder.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder1.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder2.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder3.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/PrecursorTheoryBuilder4.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/TheoryBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/TheoryBuilder.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/TheoryBuilder2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/TheoryBuilder2.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/TheoryBuilder3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/TheoryBuilder3.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/dsl/TheoryBuilder4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/dsl/TheoryBuilder4.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/ArbitraryDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/ArbitraryDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/ArgumentAssertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/ArgumentAssertions.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/ArraysDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/ArraysDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/BigDecimalsDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/BigDecimalsDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/BigIntegersDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/BigIntegersDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/BooleansDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/BooleansDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/CharactersDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/CharactersDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/CodePoints.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/CodePoints.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/DatesDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/DatesDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/Doubles.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/Doubles.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/DoublesDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/DoublesDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/Floats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/Floats.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/FloatsDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/FloatsDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/Generate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/Generate.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/IntegersDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/IntegersDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/Lists.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/Lists.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/ListsDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/ListsDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/LocalDatesDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/LocalDatesDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/LongsDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/LongsDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/Maps.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/Maps.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/MapsDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/MapsDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/SourceDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/SourceDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/Strings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/Strings.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/StringsDSL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/StringsDSL.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/generators/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/generators/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/AttemptsExhaustedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/AttemptsExhaustedException.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/BoundarySkewedDistribution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/BoundarySkewedDistribution.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/ConcreteDetachedSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/ConcreteDetachedSource.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/Constraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/Constraint.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/Core.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/Core.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/Distribution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/Distribution.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/ExtendedRandomnessSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/ExtendedRandomnessSource.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/Falsification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/Falsification.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/ForcedDistribution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/ForcedDistribution.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/Precursor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/Precursor.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/PrecursorDataPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/PrecursorDataPair.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/Property.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/Property.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/RandomDistribution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/RandomDistribution.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/SearchResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/SearchResult.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/ShapedDataSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/ShapedDataSource.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/ShrinkStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/ShrinkStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/SimpleShrink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/SimpleShrink.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/TheoryRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/TheoryRunner.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/impl/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/main/java/org/quicktheories/impl/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/quicktheories/package-info.java: -------------------------------------------------------------------------------- 1 | @javax.annotation.ParametersAreNonnullByDefault 2 | package org.quicktheories; -------------------------------------------------------------------------------- /core/src/test/java/com/example/CylinderExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/CylinderExample.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/ExampleProfiles.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/ExampleProfiles.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/Haystack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/Haystack.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/Matrix.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/MatrixExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/MatrixExample.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/PropertyTestExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/PropertyTestExamples.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/QuickTheoriesExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/QuickTheoriesExample.java -------------------------------------------------------------------------------- /core/src/test/java/com/example/StatefulTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/com/example/StatefulTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/Airity1Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/Airity1Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/Airity2Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/Airity2Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/Airity3Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/Airity3Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/Airity4Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/Airity4Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/FooInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/FooInteger.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/WithQuickTheoriesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/WithQuickTheoriesTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/PairTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/PairTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/Predicate3Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/Predicate3Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/Predicate4Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/Predicate4Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/Predicate5Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/Predicate5Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/Tuple3Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/Tuple3Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/Tuple4Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/Tuple4Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/api/Tuple5Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/api/Tuple5Test.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/ConfigurationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/ConfigurationTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/ExceptionReporterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/ExceptionReporterTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/GenTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/GenTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/NoGuidanceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/NoGuidanceTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/ProfileTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/ProfileTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/ToStringTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/ToStringTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/XOrShiftPRNGTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/XOrShiftPRNGTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/core/stateful/StatefulTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/core/stateful/StatefulTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/dogfood/ArraysDSLTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/dogfood/ArraysDSLTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/dogfood/BigDecimalsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/dogfood/BigDecimalsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/dogfood/CodePointsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/dogfood/CodePointsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/dogfood/ListsDSLTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/dogfood/ListsDSLTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/dogfood/MapsDSLTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/dogfood/MapsDSLTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/dogfood/SanityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/dogfood/SanityTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/ArbritaryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/ArbritaryTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/ArraysTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/ArraysTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/BigDecimalsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/BigDecimalsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/BigIntegersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/BigIntegersTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/BooleansTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/BooleansTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/CharactersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/CharactersTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/CodePointsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/CodePointsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/DatesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/DatesTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/DoublesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/DoublesTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/FloatsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/FloatsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/GenerateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/GenerateTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/IntegersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/IntegersTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/ListsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/ListsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/LocalDatesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/LocalDatesTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/LongsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/LongsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/MapsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/MapsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/SourceDSLTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/SourceDSLTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/StringsDSLTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/StringsDSLTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/generators/StringsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/generators/StringsTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/ComponentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/ComponentTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/DatesComponentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/DatesComponentTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/DoublesComponentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/DoublesComponentTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/IntegersComponentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/IntegersComponentTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/IntegersListsComponentTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/IntegersListsComponentTests.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/LocalDatesComponentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/LocalDatesComponentTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/highlevel/LongsComponentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/highlevel/LongsComponentTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/ConstraintTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/ConstraintTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/GenAssert.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/GenAssert.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/PrecursorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/PrecursorTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/QTTester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/QTTester.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/ShapedDataSourceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/ShapedDataSourceTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/SimpleRandomnessSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/SimpleRandomnessSource.java -------------------------------------------------------------------------------- /core/src/test/java/org/quicktheories/impl/TheoryRunnerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/core/src/test/java/org/quicktheories/impl/TheoryRunnerTest.java -------------------------------------------------------------------------------- /coverage/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/pom.xml -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/Agent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/Agent.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/ClassByteArraySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/ClassByteArraySource.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/ClassloaderByteArraySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/ClassloaderByteArraySource.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/ComputeClassWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/ComputeClassWriter.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/CoverageClassVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/CoverageClassVisitor.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/CoverageGuidance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/CoverageGuidance.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/CoverageGuidanceFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/CoverageGuidanceFactory.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/CoverageTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/CoverageTransformer.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/FileUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/FileUtil.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/FrameOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/FrameOptions.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/Installer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/Installer.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/AbstractCoverageStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/AbstractCoverageStrategy.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/ArrayProbeCoverageMethodVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/ArrayProbeCoverageMethodVisitor.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/Block.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/Block.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/ControlFlowAnalyser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/ControlFlowAnalyser.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/CoverageAnalyser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/CoverageAnalyser.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/DefaultInstructionCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/DefaultInstructionCounter.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/InstructionCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/InstructionCounter.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/InstructionTrackingMethodVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/InstructionTrackingMethodVisitor.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/LocalVariableCoverageMethodVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/LocalVariableCoverageMethodVisitor.java -------------------------------------------------------------------------------- /coverage/src/main/java/org/quicktheories/coverage/analysis/SimpleBlockCoverageVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/org/quicktheories/coverage/analysis/SimpleBlockCoverageVisitor.java -------------------------------------------------------------------------------- /coverage/src/main/java/sun/quicktheories/coverage/CodeCoverageStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/sun/quicktheories/coverage/CodeCoverageStore.java -------------------------------------------------------------------------------- /coverage/src/main/java/sun/quicktheories/coverage/InvokeReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/java/sun/quicktheories/coverage/InvokeReceiver.java -------------------------------------------------------------------------------- /coverage/src/main/resources/META-INF/services/org.quicktheories.core.GuidanceFactory: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/main/resources/META-INF/services/org.quicktheories.core.GuidanceFactory -------------------------------------------------------------------------------- /coverage/src/test/java/com/example/HayStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/com/example/HayStack.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/CoverageGuidanceFactoryIT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/CoverageGuidanceFactoryIT.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/CoverageGuidanceIT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/CoverageGuidanceIT.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/CoverageTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/CoverageTransformerTest.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/analysis/BlockTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/analysis/BlockTest.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/ClassUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/ClassUtils.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/CoverageClassVisitorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/CoverageClassVisitorTest.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/Bridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/Bridge.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/ClassWithAMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/ClassWithAMethod.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/ClassWithInitialisedField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/ClassWithInitialisedField.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/Gen.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/Gen.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/HasDefaultConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/HasDefaultConstructor.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/LambdasInDefaultMethods.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/LambdasInDefaultMethods.java -------------------------------------------------------------------------------- /coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/NoDefaultConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/org/quicktheories/coverage/codeassist/samples/NoDefaultConstructor.java -------------------------------------------------------------------------------- /coverage/src/test/java/sun/quicktheories/coverage/CodeCoverageStoreTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/coverage/src/test/java/sun/quicktheories/coverage/CodeCoverageStoreTest.java -------------------------------------------------------------------------------- /eclipse_cleanup.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/eclipse_cleanup.xml -------------------------------------------------------------------------------- /eclipse_java_format.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/eclipse_java_format.xml -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quicktheories/QuickTheories/HEAD/pom.xml --------------------------------------------------------------------------------