Bump FsCheck and FsCheck.Xunit #297
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Bumps FsCheck from 2.16.6 to 3.3.1 Bumps FsCheck.Xunit from 2.16.6 to 3.3.1 --- updated-dependencies: - dependency-name: FsCheck dependency-version: 3.3.1 dependency-type: direct:production update-type: version-update:semver-major - dependency-name: FsCheck.Xunit dependency-version: 3.3.1 dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]>
dependabot
bot
added
.NET
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Updated FsCheck from 2.16.6 to 3.3.1.
Release notes
Sourced from FsCheck's releases.
3.3.1
Update xunit.v3.extensibility.core to v3.0.1 to fix a test discovery issue. (by Hyogeol Lee)
3.3.0
Added FsCheck.Xunit.v3. (by JohSand)
3.2.0
Support C# struct record generation. (by Brian Rourke Boll)
Xunit
PropertyrespectsIAsyncLifetime. (by Arialdo Martini)3.1.0
Support Async<'Testable> & Task<'Testable>. Slight behavior change: an explicit upcast to non-generic
Task(:> Task) is now needed for tests involvingTask<'T>where'Tis not itself a testable type. (by Brian Rourke Boll)3.0.1
3.0.0
Fix stamp missing for final test. (by Calum Sieppert)
FsCheck.NUnit: updated to NUnit 4. (with David Naylor)
FsCheck.NUnit: implement PropertiesAttribute. (by Oleksandr Bogomaz)
FsCheck.NUnit: handle NUnit's signalling exceptions. (by Oleksandr Bogomaz)
FsCheck.Xunit: fixed MissingMethodException caused by integration issue with xunit 2.9.x.
3.0.0-rc3
StringNoNnullsis renamed toStringNoNullChar.|@,@|and%>are removed. Please useProp.labelinstead.ForAlloverloads for variousTasktypes.NonEmptySet,NonEmptyArrayandFixedLengthArraynow implementIEnnumerableto avoid a call toGetin common scenarios.3.0.0-rc2
Negative decimals are now also generated. (by Stephen Smith)
Relax FsCheck.Xunit's restriction on xUnit versions. (by Tom Rijnbeek)
Made
Gen.choose64public.Remove dependency on FAKE and paket in favor of standard .NET tools. (by Patrick Stevens)cription of the release
3.0.0-rc1
Enable properties that return
Task<T>. (by Mark Seemann)Includes all changes up to 2.16.6.
3.0.0-beta2
Fixed bug that caused exceptions not to be propagated to output correctly.
Added a few missing methods in
Fluent.Arbitrary.Add a few missing
Prop.ForAlloverloads.Includes changes in 2.16.4.
3.0.0-beta1
Backwards incompatible*: Refactor and split of the
GenandArbitraryAPIs intoFsCheck.FSharpandFsCheck.Fluent. This is a first step in splitting the entire API into a functional (for F# consumers) and fluent (for C# and VB.NET consumers) interface. This should be clearer for both kinds of consumers.By and large, if you are an F# user, now
open FsCheck.FSharpin addition toopen FsCheck. If you are a C# or VB.NET user, addusing FsCheck.Fluent.Backwards incompatible*: redesigned API for per-type Arbitrary instance discovery and lookup. There is no longer a single global, mutable map of type to Arbitrary instances, instead there are any number of immutable
IArbMaps that can be configured at your leisure, and set viaConfig.WithArbitraryon the test.Detailed changes to
FsCheck.FSharp.Gen: AddedRequireQualifiedAccess. Addedapplyandbind. Renamedcollectandsequencetocollect/sequenceToList/Array/Seqfor clarity. Removedunzipandunzip3- their implementation is problematic, and it's hard to see a use case for them. RemovedsubListOfToIlist,subListOfArr- these returnedIList<'T>types. Untupledrows,colsarguments inarray2DOfDim.Detailed changes to
FsCheck.Fluent.Gen: Split into non-extension methods onGenand extension methods onGen<T>type inGenExtensions. RemovedGen.Apply- not useful without partial application.Two,Three,FourandZipnow output ValueTuples, which is idiomatic in modern C#, and are only visible as extension methods onGen<T>. Removed the overloads ofZipwith arity 3. Changed the return type of methods that returnedIList<T>previously toList<T>. Split theSamplemethod with optional arguments in three overloads, this is better for backwards compatibilty going forward.Detailed changes to
FsCheck.FSharp.Arb: RemovedfromGenShrinkFunc. Removedregister,registerByType,from,generateandshrink- these are replaced by functions onArbMap, resp.mergeWith,mergeWithType,arbitraryandgenerate. MadeArb.Defaultinternal. Default types should now be looked up usingArbMap, e.g.ArbMap.defaults |> ArbMap.arbitrary<list<int>>.Detailed changes to
FsCheck.Fluent.Arb: Removed extension methodToArbitrarythat took an F# function as argument for the shrinker. RenamadArb.Frommethods toArbitrary.From- C# does not tolerate ambiguity between using two types of the same name in the same namespace. RemovedRegister,RegisterByType,From,GenerateandShrink- these are replaced by methods onArbMap, resp.Merge<'T>,Merge,ArbForandGeneratorFor. MadeArb.Defaultinternal. Default Arbitrary types should now be looked up usingArbMap, e.g.ArbMap.Default.ArbFor<int[]>().First pass at improving XML docs for Gen API.
Fixed bug in
try..withcomputation expression builder.Added support for
let!...and!...syntax in computation expression builder.3.0.0-alpha4
Propagate thread-local arbitraries to thread pool threads that are executing tests.
3.0.0-alpha3
NuGet packaging: relax FSharp.Core constraint to 4.0 and higher for .NET Desktop.
3.0.0-alpha2
Remove PCL builds. NET Standard is the way forward. Latest FSharp.Core builds don't even include PCL versions. As a result of the FSharp.Core dependency, FsCheck targets NET Standard 1.6.
Remove Prop.within.
Remove tuple and list testables.
Bug fix: Tasks that were faulted or canceled were not detected as test failures (by chrisoverzero)
3.0.0-alpha1
Update random number generator to SplitMix algorithm. (with thanks to Jack Pappas for making it fast)
Add support for parallel and async testing. (by Sergey - great effort!)
Simplify sampling data: Gen.sample et al.
Commits viewable in compare view.
Updated FsCheck.Xunit from 2.16.6 to 3.3.1.
Release notes
Sourced from FsCheck.Xunit's releases.
3.3.1
Update xunit.v3.extensibility.core to v3.0.1 to fix a test discovery issue. (by Hyogeol Lee)
3.3.0
Added FsCheck.Xunit.v3. (by JohSand)
3.2.0
Support C# struct record generation. (by Brian Rourke Boll)
Xunit
PropertyrespectsIAsyncLifetime. (by Arialdo Martini)3.1.0
Support Async<'Testable> & Task<'Testable>. Slight behavior change: an explicit upcast to non-generic
Task(:> Task) is now needed for tests involvingTask<'T>where'Tis not itself a testable type. (by Brian Rourke Boll)3.0.1
3.0.0
Fix stamp missing for final test. (by Calum Sieppert)
FsCheck.NUnit: updated to NUnit 4. (with David Naylor)
FsCheck.NUnit: implement PropertiesAttribute. (by Oleksandr Bogomaz)
FsCheck.NUnit: handle NUnit's signalling exceptions. (by Oleksandr Bogomaz)
FsCheck.Xunit: fixed MissingMethodException caused by integration issue with xunit 2.9.x.
3.0.0-rc3
StringNoNnullsis renamed toStringNoNullChar.|@,@|and%>are removed. Please useProp.labelinstead.ForAlloverloads for variousTasktypes.NonEmptySet,NonEmptyArrayandFixedLengthArraynow implementIEnnumerableto avoid a call toGetin common scenarios.3.0.0-rc2
Negative decimals are now also generated. (by Stephen Smith)
Relax FsCheck.Xunit's restriction on xUnit versions. (by Tom Rijnbeek)
Made
Gen.choose64public.Remove dependency on FAKE and paket in favor of standard .NET tools. (by Patrick Stevens)cription of the release
3.0.0-rc1
Enable properties that return
Task<T>. (by Mark Seemann)Includes all changes up to 2.16.6.
3.0.0-beta2
Fixed bug that caused exceptions not to be propagated to output correctly.
Added a few missing methods in
Fluent.Arbitrary.Add a few missing
Prop.ForAlloverloads.Includes changes in 2.16.4.
3.0.0-beta1
Backwards incompatible*: Refactor and split of the
GenandArbitraryAPIs intoFsCheck.FSharpandFsCheck.Fluent. This is a first step in splitting the entire API into a functional (for F# consumers) and fluent (for C# and VB.NET consumers) interface. This should be clearer for both kinds of consumers.By and large, if you are an F# user, now
open FsCheck.FSharpin addition toopen FsCheck. If you are a C# or VB.NET user, addusing FsCheck.Fluent.Backwards incompatible*: redesigned API for per-type Arbitrary instance discovery and lookup. There is no longer a single global, mutable map of type to Arbitrary instances, instead there are any number of immutable
IArbMaps that can be configured at your leisure, and set viaConfig.WithArbitraryon the test.Detailed changes to
FsCheck.FSharp.Gen: AddedRequireQualifiedAccess. Addedapplyandbind. Renamedcollectandsequencetocollect/sequenceToList/Array/Seqfor clarity. Removedunzipandunzip3- their implementation is problematic, and it's hard to see a use case for them. RemovedsubListOfToIlist,subListOfArr- these returnedIList<'T>types. Untupledrows,colsarguments inarray2DOfDim.Detailed changes to
FsCheck.Fluent.Gen: Split into non-extension methods onGenand extension methods onGen<T>type inGenExtensions. RemovedGen.Apply- not useful without partial application.Two,Three,FourandZipnow output ValueTuples, which is idiomatic in modern C#, and are only visible as extension methods onGen<T>. Removed the overloads ofZipwith arity 3. Changed the return type of methods that returnedIList<T>previously toList<T>. Split theSamplemethod with optional arguments in three overloads, this is better for backwards compatibilty going forward.Detailed changes to
FsCheck.FSharp.Arb: RemovedfromGenShrinkFunc. Removedregister,registerByType,from,generateandshrink- these are replaced by functions onArbMap, resp.mergeWith,mergeWithType,arbitraryandgenerate. MadeArb.Defaultinternal. Default types should now be looked up usingArbMap, e.g.ArbMap.defaults |> ArbMap.arbitrary<list<int>>.Detailed changes to
FsCheck.Fluent.Arb: Removed extension methodToArbitrarythat took an F# function as argument for the shrinker. RenamadArb.Frommethods toArbitrary.From- C# does not tolerate ambiguity between using two types of the same name in the same namespace. RemovedRegister,RegisterByType,From,GenerateandShrink- these are replaced by methods onArbMap, resp.Merge<'T>,Merge,ArbForandGeneratorFor. MadeArb.Defaultinternal. Default Arbitrary types should now be looked up usingArbMap, e.g.ArbMap.Default.ArbFor<int[]>().First pass at improving XML docs for Gen API.
Fixed bug in
try..withcomputation expression builder.Added support for
let!...and!...syntax in computation expression builder.3.0.0-alpha4
Propagate thread-local arbitraries to thread pool threads that are executing tests.
3.0.0-alpha3
NuGet packaging: relax FSharp.Core constraint to 4.0 and higher for .NET Desktop.
3.0.0-alpha2
Remove PCL builds. NET Standard is the way forward. Latest FSharp.Core builds don't even include PCL versions. As a result of the FSharp.Core dependency, FsCheck targets NET Standard 1.6.
Remove Prop.within.
Remove tuple and list testables.
Bug fix: Tasks that were faulted or canceled were not detected as test failures (by chrisoverzero)
3.0.0-alpha1
Update random number generator to SplitMix algorithm. (with thanks to Jack Pappas for making it fast)
Add support for parallel and async testing. (by Sergey - great effort!)
Simplify sampling data: Gen.sample et al.
Commits viewable in compare view.
You can trigger a rebase of this PR by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)