# FsCheck ## Docs - [FsCheck: Random Testing for .NET](https://fscheck.github.io/FsCheck/index.md) - [Learning resources](https://fscheck.github.io/FsCheck/LearningResources.md) - [Properties](https://fscheck.github.io/FsCheck/Properties.md) - [Quick Start](https://fscheck.github.io/FsCheck/QuickStart.md) - [Running tests](https://fscheck.github.io/FsCheck/RunningTests.md) - [Model-based Testing (Experimental)](https://fscheck.github.io/FsCheck/StatefulTesting.md) - [Test data: generators, shrinkers and Arbitrary instances](https://fscheck.github.io/FsCheck/TestData.md) - [Tips and Tricks](https://fscheck.github.io/FsCheck/TipsAndTricks.md) - [Who is using FsCheck?](https://fscheck.github.io/FsCheck/users.md) ## API Reference - [FsCheck](https://fscheck.github.io/FsCheck/reference/fscheck.html) - [FsCheck.Experimental](https://fscheck.github.io/FsCheck/reference/fscheck-experimental.html) - [FsCheck.FSharp](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp.html) - [FsCheck.Fluent](https://fscheck.github.io/FsCheck/reference/fscheck-fluent.html) - [FsCheck.Internals](https://fscheck.github.io/FsCheck/reference/fscheck-internals.html) - [FsCheck.NUnit](https://fscheck.github.io/FsCheck/reference/fscheck-nunit.html) - [FsCheck.Xunit](https://fscheck.github.io/FsCheck/reference/fscheck-xunit.html) - [Runner](https://fscheck.github.io/FsCheck/reference/fscheck-runner.html) - [Arbitrary<'T>](https://fscheck.github.io/FsCheck/reference/fscheck-arbitrary-1.html) - [Check](https://fscheck.github.io/FsCheck/reference/fscheck-check.html) - [CheckExtensions](https://fscheck.github.io/FsCheck/reference/fscheck-checkextensions.html) - [Config](https://fscheck.github.io/FsCheck/reference/fscheck-config.html) - [ConfigExtensions](https://fscheck.github.io/FsCheck/reference/fscheck-configextensions.html) - [DoNotShrink<'a>](https://fscheck.github.io/FsCheck/reference/fscheck-donotshrink-1.html) - [DoNotSize<'a>](https://fscheck.github.io/FsCheck/reference/fscheck-donotsize-1.html) - [FixedLengthArray<'T>](https://fscheck.github.io/FsCheck/reference/fscheck-fixedlengtharray-1.html) - [Function<'a, 'b>](https://fscheck.github.io/FsCheck/reference/fscheck-function-2.html) - [Gen<'T>](https://fscheck.github.io/FsCheck/reference/fscheck-gen-1.html) - [HostName](https://fscheck.github.io/FsCheck/reference/fscheck-hostname.html) - [IArbMap](https://fscheck.github.io/FsCheck/reference/fscheck-iarbmap.html) - [IPv4Address](https://fscheck.github.io/FsCheck/reference/fscheck-ipv4address.html) - [IPv6Address](https://fscheck.github.io/FsCheck/reference/fscheck-ipv6address.html) - [IRunner](https://fscheck.github.io/FsCheck/reference/fscheck-irunner.html) - [IntWithMinMax](https://fscheck.github.io/FsCheck/reference/fscheck-intwithminmax.html) - [Interval](https://fscheck.github.io/FsCheck/reference/fscheck-interval.html) - [NegativeInt](https://fscheck.github.io/FsCheck/reference/fscheck-negativeint.html) - [NonEmptyArray<'T>](https://fscheck.github.io/FsCheck/reference/fscheck-nonemptyarray-1.html) - [NonEmptySet<'T>](https://fscheck.github.io/FsCheck/reference/fscheck-nonemptyset-1.html) - [NonEmptyString](https://fscheck.github.io/FsCheck/reference/fscheck-nonemptystring.html) - [NonNegativeInt](https://fscheck.github.io/FsCheck/reference/fscheck-nonnegativeint.html) - [NonNull<'a>](https://fscheck.github.io/FsCheck/reference/fscheck-nonnull-1.html) - [NonWhiteSpaceString](https://fscheck.github.io/FsCheck/reference/fscheck-nonwhitespacestring.html) - [NonZeroInt](https://fscheck.github.io/FsCheck/reference/fscheck-nonzeroint.html) - [NormalFloat](https://fscheck.github.io/FsCheck/reference/fscheck-normalfloat.html) - [NullableRef<'a>](https://fscheck.github.io/FsCheck/reference/fscheck-nullableref-1.html) - [Outcome](https://fscheck.github.io/FsCheck/reference/fscheck-outcome.html) - [ParallelRunConfig](https://fscheck.github.io/FsCheck/reference/fscheck-parallelrunconfig.html) - [PositiveInt](https://fscheck.github.io/FsCheck/reference/fscheck-positiveint.html) - [Property](https://fscheck.github.io/FsCheck/reference/fscheck-property.html) - [Replay](https://fscheck.github.io/FsCheck/reference/fscheck-replay.html) - [Result](https://fscheck.github.io/FsCheck/reference/fscheck-result.html) - [ResultContainer](https://fscheck.github.io/FsCheck/reference/fscheck-resultcontainer.html) - [Rnd](https://fscheck.github.io/FsCheck/reference/fscheck-rnd.html) - [StringNoNullChar](https://fscheck.github.io/FsCheck/reference/fscheck-stringnonullchar.html) - [TestData](https://fscheck.github.io/FsCheck/reference/fscheck-testdata.html) - [TestResult](https://fscheck.github.io/FsCheck/reference/fscheck-testresult.html) - [ThrowingFunction<'a, 'b>](https://fscheck.github.io/FsCheck/reference/fscheck-throwingfunction-2.html) - [UnicodeChar](https://fscheck.github.io/FsCheck/reference/fscheck-unicodechar.html) - [UnicodeString](https://fscheck.github.io/FsCheck/reference/fscheck-unicodestring.html) - [XmlEncodedString](https://fscheck.github.io/FsCheck/reference/fscheck-xmlencodedstring.html) - [StateMachine](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-statemachine.html) - [DisposeCall<'Actual>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-disposecall-1.html) - [IOperation](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-ioperation.html) - [IOperationResult](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-ioperationresult.html) - [Machine<'Actual, 'Model>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-machine-2.html) - [MachineRun<'Actual, 'Model>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-machinerun-2.html) - [MethodCall<'Actual>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-methodcall-1.html) - [New<'Actual>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-new-1.html) - [ObjectMachine<'Actual>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-objectmachine-1.html) - [ObjectMachineModel](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-objectmachinemodel.html) - [Operation<'Actual, 'Model>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-operation-2.html) - [OperationResult<'a>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-operationresult-1.html) - [Setup<'Actual, 'Model>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-setup-2.html) - [StateMachineExtensions](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-statemachineextensions.html) - [StopOperation<'Actual, 'Model>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-stopoperation-2.html) - [TearDown<'Actual>](https://fscheck.github.io/FsCheck/reference/fscheck-experimental-teardown-1.html) - [Arb](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-arb.html) - [ArbMap](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-arbmap.html) - [ArbPatterns](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-arbpatterns.html) - [Gen](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-gen.html) - [GenBuilder](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-genbuilder.html) - [GenBuilder](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-genbuilder-genbuilder.html) - [GenOperators](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-genoperators.html) - [Prop](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-prop.html) - [PropOperators](https://fscheck.github.io/FsCheck/reference/fscheck-fsharp-propoperators.html) - [Arb](https://fscheck.github.io/FsCheck/reference/fscheck-fluent-arb.html) - [ArbMap](https://fscheck.github.io/FsCheck/reference/fscheck-fluent-arbmap.html) - [Gen](https://fscheck.github.io/FsCheck/reference/fscheck-fluent-gen.html) - [Prop](https://fscheck.github.io/FsCheck/reference/fscheck-fluent-prop.html) - [Numeric](https://fscheck.github.io/FsCheck/reference/fscheck-internals-numeric.html) - [MaxValue](https://fscheck.github.io/FsCheck/reference/fscheck-internals-numeric-maxvalue.html) - [MinValue](https://fscheck.github.io/FsCheck/reference/fscheck-internals-numeric-minvalue.html) - [Shrink<'T>](https://fscheck.github.io/FsCheck/reference/fscheck-internals-shrink-1.html) - [FsCheckTestMethod](https://fscheck.github.io/FsCheck/reference/fscheck-nunit-fschecktestmethod.html) - [PropertiesAttribute](https://fscheck.github.io/FsCheck/reference/fscheck-nunit-propertiesattribute.html) - [PropertyAttribute](https://fscheck.github.io/FsCheck/reference/fscheck-nunit-propertyattribute.html) - [CheckExtensions](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-checkextensions.html) - [PropertiesAttribute](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertiesattribute.html) - [PropertyAttribute](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertyattribute.html) - [PropertyDiscoverer](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertydiscoverer.html) - [PropertyFailedException](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertyfailedexception.html) - [PropertyTestCase](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertytestcase.html) - [TestOutputRunner](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-testoutputrunner.html) - [XunitRunner](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-xunitrunner.html) - [CheckExtensions](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-checkextensions-0.html) - [PropertiesAttribute](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertiesattribute-0.html) - [PropertyAttribute](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertyattribute-0.html) - [PropertyDiscoverer](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertydiscoverer-0.html) - [PropertyFailedException](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertyfailedexception-0.html) - [PropertyTestCase](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-propertytestcase-0.html) - [TestOutputRunner](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-testoutputrunner-0.html) - [XunitRunner](https://fscheck.github.io/FsCheck/reference/fscheck-xunit-xunitrunner-0.html)