├── .config └── dotnet-tools.json ├── .gitattributes ├── .gitignore ├── Contributors.txt ├── Directory.Build.props ├── Directory.Build.targets ├── Directory.Packages.props ├── FsCheck Release Notes.md ├── FsCheck.sln ├── FsCheckKey.snk ├── License.txt ├── README.md ├── appveyor.yml ├── docs ├── LearningResources.md ├── Properties.fsx ├── QuickStart.fsx ├── RunningTests.fsx ├── StatefulTestingNew.fsx ├── TestData.fsx ├── TipsAndTricks.fsx ├── _template.html ├── img │ ├── logo-source.pptx │ └── logo.png ├── index.fsx └── users.md ├── examples ├── CSharp.DocSnippets │ ├── CSharp.DocSnippets.csproj │ ├── Program.cs │ ├── Properties.cs │ ├── QuickStart.cs │ ├── RunningTests.cs │ ├── StatefulTesting.cs │ ├── TestData.cs │ └── TipsAndTricks.cs ├── FsCheck.CSharpExamples │ ├── FsCheck.CSharpExamples.csproj │ └── Program.cs ├── FsCheck.Examples │ ├── Examples.fs │ └── FsCheck.Examples.fsproj ├── FsCheck.MsTest.Examples │ ├── App.config │ ├── ClassesToTest │ │ ├── Doc.cs │ │ └── EnumerableExtensions.cs │ ├── DocGen.cs │ ├── DocTest.cs │ ├── FsCheck.MsTest.Examples.csproj │ └── SampleTests.cs ├── FsCheck.NUnit.CSharpExamples │ ├── App.config │ ├── Examples.cs │ ├── FsCheck.NUnit.CSharpExamples.csproj │ └── SyncVersusAsyncExamples.cs ├── FsCheck.NUnit.Examples │ ├── App.config │ ├── FsCheck.NUnit.Examples.fsproj │ ├── PropertyExamples.fs │ └── SyncVersusAsyncExamples.fs └── FsCheck.XUnit.CSharpExamples │ ├── App.config │ ├── ExtensionMethods.cs │ ├── FsCheck.XUnit.CSharpExamples.csproj │ ├── OutputHelperTest.cs │ ├── ReplayExample.cs │ ├── ReverseFixture.cs │ └── SyncVersusAsyncExamples.cs ├── global.json ├── src ├── FsCheck.NUnit │ ├── AssemblyInfo.fs │ ├── FsCheck.NUnit.fsproj │ └── FsCheckPropertyAttribute.fs ├── FsCheck.Xunit.v3 │ ├── AssemblyInfo.fs │ ├── CheckExtensions.fs │ ├── FsCheck.Xunit.v3.fsproj │ ├── PropertyAttribute.fs │ ├── Runner.fs │ └── paket.template ├── FsCheck.Xunit │ ├── AssemblyInfo.fs │ ├── CheckExtensions.fs │ ├── FsCheck.Xunit.fsproj │ ├── PropertyAttribute.fs │ ├── Runner.fs │ └── paket.template └── FsCheck │ ├── ArbMap.fs │ ├── AssemblyInfo.fs │ ├── DefaultArbTypes.fs │ ├── FSharp.ArbMap.fs │ ├── FSharp.Arbitrary.fs │ ├── FSharp.Gen.fs │ ├── FSharp.GenBuilder.fs │ ├── FSharp.Prop.fs │ ├── Fluent.ArbMap.fs │ ├── Fluent.Arbitrary.fs │ ├── Fluent.Gen.fs │ ├── Fluent.Prop.fs │ ├── FsCheck.fsproj │ ├── Internals.Common.fs │ ├── Internals.Data.fs │ ├── Internals.DefaultArbs.fs │ ├── Internals.Numeric.fs │ ├── Internals.Reflect.fs │ ├── Internals.ReflectiveGenerator.fs │ ├── Internals.ReflectiveShrinker.fs │ ├── Internals.Shrink.fs │ ├── Internals.TypeClass.fs │ ├── Random.fs │ ├── Runner.fs │ ├── RunnerExtensions.fs │ ├── Script.fsx │ ├── StateMachine.fs │ └── Testable.fs └── tests ├── FsCheck.Test.CSharp ├── FsCheck.Test.CSharp.csproj └── Records.cs ├── FsCheck.Test.v3 ├── App.config ├── FsCheck.Test.v3.fsproj └── Fscheck.XUnit │ └── PropertyAttributeTests.fs └── FsCheck.Test ├── App.config ├── ArbMapTest.fs ├── Arbitrary.fs ├── FsCheck.NUnit ├── PropertiesAttributeTests.fs └── PropertyAttributeTests.fs ├── FsCheck.Test.fsproj ├── Fscheck.XUnit └── PropertyAttributeTests.fs ├── Gen.fs ├── GenBuilder.fs ├── GenExtensions.fs ├── Helpers.fs ├── Internal.Common.fs ├── Property.fs ├── Random.fs ├── Runner.fs ├── StateMachine.fs └── TypeClass.fs /.config/dotnet-tools.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/.config/dotnet-tools.json -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/.gitignore -------------------------------------------------------------------------------- /Contributors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/Contributors.txt -------------------------------------------------------------------------------- /Directory.Build.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/Directory.Build.props -------------------------------------------------------------------------------- /Directory.Build.targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/Directory.Build.targets -------------------------------------------------------------------------------- /Directory.Packages.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/Directory.Packages.props -------------------------------------------------------------------------------- /FsCheck Release Notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/FsCheck Release Notes.md -------------------------------------------------------------------------------- /FsCheck.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/FsCheck.sln -------------------------------------------------------------------------------- /FsCheckKey.snk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/FsCheckKey.snk -------------------------------------------------------------------------------- /License.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/License.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/README.md -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/appveyor.yml -------------------------------------------------------------------------------- /docs/LearningResources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/LearningResources.md -------------------------------------------------------------------------------- /docs/Properties.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/Properties.fsx -------------------------------------------------------------------------------- /docs/QuickStart.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/QuickStart.fsx -------------------------------------------------------------------------------- /docs/RunningTests.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/RunningTests.fsx -------------------------------------------------------------------------------- /docs/StatefulTestingNew.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/StatefulTestingNew.fsx -------------------------------------------------------------------------------- /docs/TestData.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/TestData.fsx -------------------------------------------------------------------------------- /docs/TipsAndTricks.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/TipsAndTricks.fsx -------------------------------------------------------------------------------- /docs/_template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/_template.html -------------------------------------------------------------------------------- /docs/img/logo-source.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/img/logo-source.pptx -------------------------------------------------------------------------------- /docs/img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/img/logo.png -------------------------------------------------------------------------------- /docs/index.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/index.fsx -------------------------------------------------------------------------------- /docs/users.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/docs/users.md -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/CSharp.DocSnippets.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/CSharp.DocSnippets.csproj -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/Program.cs -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/Properties.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/Properties.cs -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/QuickStart.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/QuickStart.cs -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/RunningTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/RunningTests.cs -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/StatefulTesting.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/StatefulTesting.cs -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/TestData.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/TestData.cs -------------------------------------------------------------------------------- /examples/CSharp.DocSnippets/TipsAndTricks.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/CSharp.DocSnippets/TipsAndTricks.cs -------------------------------------------------------------------------------- /examples/FsCheck.CSharpExamples/FsCheck.CSharpExamples.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.CSharpExamples/FsCheck.CSharpExamples.csproj -------------------------------------------------------------------------------- /examples/FsCheck.CSharpExamples/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.CSharpExamples/Program.cs -------------------------------------------------------------------------------- /examples/FsCheck.Examples/Examples.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.Examples/Examples.fs -------------------------------------------------------------------------------- /examples/FsCheck.Examples/FsCheck.Examples.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.Examples/FsCheck.Examples.fsproj -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/App.config -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/ClassesToTest/Doc.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/ClassesToTest/Doc.cs -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/ClassesToTest/EnumerableExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/ClassesToTest/EnumerableExtensions.cs -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/DocGen.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/DocGen.cs -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/DocTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/DocTest.cs -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/FsCheck.MsTest.Examples.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/FsCheck.MsTest.Examples.csproj -------------------------------------------------------------------------------- /examples/FsCheck.MsTest.Examples/SampleTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.MsTest.Examples/SampleTests.cs -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.CSharpExamples/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.CSharpExamples/App.config -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.CSharpExamples/Examples.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.CSharpExamples/Examples.cs -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.CSharpExamples/FsCheck.NUnit.CSharpExamples.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.CSharpExamples/FsCheck.NUnit.CSharpExamples.csproj -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.CSharpExamples/SyncVersusAsyncExamples.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.CSharpExamples/SyncVersusAsyncExamples.cs -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.Examples/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.Examples/App.config -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.Examples/FsCheck.NUnit.Examples.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.Examples/FsCheck.NUnit.Examples.fsproj -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.Examples/PropertyExamples.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.Examples/PropertyExamples.fs -------------------------------------------------------------------------------- /examples/FsCheck.NUnit.Examples/SyncVersusAsyncExamples.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.NUnit.Examples/SyncVersusAsyncExamples.fs -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/App.config -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/ExtensionMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/ExtensionMethods.cs -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/FsCheck.XUnit.CSharpExamples.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/FsCheck.XUnit.CSharpExamples.csproj -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/OutputHelperTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/OutputHelperTest.cs -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/ReplayExample.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/ReplayExample.cs -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/ReverseFixture.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/ReverseFixture.cs -------------------------------------------------------------------------------- /examples/FsCheck.XUnit.CSharpExamples/SyncVersusAsyncExamples.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/examples/FsCheck.XUnit.CSharpExamples/SyncVersusAsyncExamples.cs -------------------------------------------------------------------------------- /global.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/global.json -------------------------------------------------------------------------------- /src/FsCheck.NUnit/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.NUnit/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/FsCheck.NUnit/FsCheck.NUnit.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.NUnit/FsCheck.NUnit.fsproj -------------------------------------------------------------------------------- /src/FsCheck.NUnit/FsCheckPropertyAttribute.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.NUnit/FsCheckPropertyAttribute.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit.v3/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit.v3/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit.v3/CheckExtensions.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit.v3/CheckExtensions.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit.v3/FsCheck.Xunit.v3.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit.v3/FsCheck.Xunit.v3.fsproj -------------------------------------------------------------------------------- /src/FsCheck.Xunit.v3/PropertyAttribute.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit.v3/PropertyAttribute.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit.v3/Runner.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit.v3/Runner.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit.v3/paket.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit.v3/paket.template -------------------------------------------------------------------------------- /src/FsCheck.Xunit/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit/CheckExtensions.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit/CheckExtensions.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit/FsCheck.Xunit.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit/FsCheck.Xunit.fsproj -------------------------------------------------------------------------------- /src/FsCheck.Xunit/PropertyAttribute.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit/PropertyAttribute.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit/Runner.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit/Runner.fs -------------------------------------------------------------------------------- /src/FsCheck.Xunit/paket.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck.Xunit/paket.template -------------------------------------------------------------------------------- /src/FsCheck/ArbMap.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/ArbMap.fs -------------------------------------------------------------------------------- /src/FsCheck/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/FsCheck/DefaultArbTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/DefaultArbTypes.fs -------------------------------------------------------------------------------- /src/FsCheck/FSharp.ArbMap.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/FSharp.ArbMap.fs -------------------------------------------------------------------------------- /src/FsCheck/FSharp.Arbitrary.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/FSharp.Arbitrary.fs -------------------------------------------------------------------------------- /src/FsCheck/FSharp.Gen.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/FSharp.Gen.fs -------------------------------------------------------------------------------- /src/FsCheck/FSharp.GenBuilder.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/FSharp.GenBuilder.fs -------------------------------------------------------------------------------- /src/FsCheck/FSharp.Prop.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/FSharp.Prop.fs -------------------------------------------------------------------------------- /src/FsCheck/Fluent.ArbMap.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Fluent.ArbMap.fs -------------------------------------------------------------------------------- /src/FsCheck/Fluent.Arbitrary.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Fluent.Arbitrary.fs -------------------------------------------------------------------------------- /src/FsCheck/Fluent.Gen.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Fluent.Gen.fs -------------------------------------------------------------------------------- /src/FsCheck/Fluent.Prop.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Fluent.Prop.fs -------------------------------------------------------------------------------- /src/FsCheck/FsCheck.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/FsCheck.fsproj -------------------------------------------------------------------------------- /src/FsCheck/Internals.Common.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.Common.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.Data.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.Data.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.DefaultArbs.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.DefaultArbs.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.Numeric.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.Numeric.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.Reflect.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.Reflect.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.ReflectiveGenerator.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.ReflectiveGenerator.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.ReflectiveShrinker.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.ReflectiveShrinker.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.Shrink.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.Shrink.fs -------------------------------------------------------------------------------- /src/FsCheck/Internals.TypeClass.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Internals.TypeClass.fs -------------------------------------------------------------------------------- /src/FsCheck/Random.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Random.fs -------------------------------------------------------------------------------- /src/FsCheck/Runner.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Runner.fs -------------------------------------------------------------------------------- /src/FsCheck/RunnerExtensions.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/RunnerExtensions.fs -------------------------------------------------------------------------------- /src/FsCheck/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Script.fsx -------------------------------------------------------------------------------- /src/FsCheck/StateMachine.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/StateMachine.fs -------------------------------------------------------------------------------- /src/FsCheck/Testable.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/src/FsCheck/Testable.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test.CSharp/FsCheck.Test.CSharp.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test.CSharp/FsCheck.Test.CSharp.csproj -------------------------------------------------------------------------------- /tests/FsCheck.Test.CSharp/Records.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test.CSharp/Records.cs -------------------------------------------------------------------------------- /tests/FsCheck.Test.v3/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test.v3/App.config -------------------------------------------------------------------------------- /tests/FsCheck.Test.v3/FsCheck.Test.v3.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test.v3/FsCheck.Test.v3.fsproj -------------------------------------------------------------------------------- /tests/FsCheck.Test.v3/Fscheck.XUnit/PropertyAttributeTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test.v3/Fscheck.XUnit/PropertyAttributeTests.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/App.config -------------------------------------------------------------------------------- /tests/FsCheck.Test/ArbMapTest.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/ArbMapTest.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Arbitrary.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Arbitrary.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/FsCheck.NUnit/PropertiesAttributeTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/FsCheck.NUnit/PropertiesAttributeTests.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/FsCheck.NUnit/PropertyAttributeTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/FsCheck.NUnit/PropertyAttributeTests.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/FsCheck.Test.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/FsCheck.Test.fsproj -------------------------------------------------------------------------------- /tests/FsCheck.Test/Fscheck.XUnit/PropertyAttributeTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Fscheck.XUnit/PropertyAttributeTests.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Gen.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Gen.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/GenBuilder.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/GenBuilder.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/GenExtensions.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/GenExtensions.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Helpers.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Helpers.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Internal.Common.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Internal.Common.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Property.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Property.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Random.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Random.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/Runner.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/Runner.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/StateMachine.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/StateMachine.fs -------------------------------------------------------------------------------- /tests/FsCheck.Test/TypeClass.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fscheck/FsCheck/HEAD/tests/FsCheck.Test/TypeClass.fs --------------------------------------------------------------------------------