Pledge.Testing.Xunit 0.1.0-alpha.2

This is a prerelease version of Pledge.Testing.Xunit.

dotnet add package Pledge.Testing.Xunit --version 0.1.0-alpha.2

NuGet\Install-Package Pledge.Testing.Xunit -Version 0.1.0-alpha.2

This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.

<PackageReference Include="Pledge.Testing.Xunit" Version="0.1.0-alpha.2" />

For projects that support PackageReference, copy this XML node into the project file to reference the package.

<PackageVersion Include="Pledge.Testing.Xunit" Version="0.1.0-alpha.2" />
                    

                            Directory.Packages.props

<PackageReference Include="Pledge.Testing.Xunit" />
                    

                            Project file

For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.

paket add Pledge.Testing.Xunit --version 0.1.0-alpha.2

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: Pledge.Testing.Xunit, 0.1.0-alpha.2"

#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.

#:package Pledge.Testing.Xunit@0.1.0-alpha.2

#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.

#addin nuget:?package=Pledge.Testing.Xunit&version=0.1.0-alpha.2&prerelease
                    

                            Install as a Cake Addin

#tool nuget:?package=Pledge.Testing.Xunit&version=0.1.0-alpha.2&prerelease
                    

                            Install as a Cake Tool

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Pledge.Testing.Xunit

The xUnit.net v3 adapter for Pledge.Testing: one test per contracted member of a type, each run as a property test of its Pledge contracts.

Alpha. The API can still change between pre-releases.

dotnet add package Pledge.Testing.Xunit --prerelease

using PledgeContracts.Testing.Xunit;

[Theory, PledgedMembers(typeof(Account), Iterations = 1_000)]
public Task Account_pledges_hold(PledgeCase pledge) => pledge.CheckAsync();

Each member is its own test case, labelled with its signature, such as Account.Withdraw(decimal). A member whose parameters cannot be generated, such as one taking a Span<T>, is reported as skipped with the reason. Test output goes to the framework's output for that test.

Support

Pledge is MIT-licensed and built in the open. If it saves you a bug or two, consider sponsoring its development.

Source and docs · Design · Issues · License

Product	Compatible and additional computed target framework versions.
.NET	net10.0 is compatible. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed.