Conjecture.Core 0.29.0

dotnet add package Conjecture.Core --version 0.29.0
                    
NuGet\Install-Package Conjecture.Core -Version 0.29.0
                    
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="Conjecture.Core" Version="0.29.0" />
                    
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="Conjecture.Core" Version="0.29.0" />
                    
Directory.Packages.props
<PackageReference Include="Conjecture.Core" />
                    
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 Conjecture.Core --version 0.29.0
                    
#r "nuget: Conjecture.Core, 0.29.0"
                    
#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 Conjecture.Core@0.29.0
                    
#: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=Conjecture.Core&version=0.29.0
                    
Install as a Cake Addin
#tool nuget:?package=Conjecture.Core&version=0.29.0
                    
Install as a Cake Tool

Conjecture.Core

Property-based testing for .NET, inspired by Hypothesis. Generates random inputs from type-aware strategies, shrinks failing cases to a minimal counterexample, and persists failing seeds for automatic regression coverage.

The package bundles Roslyn analyzers, code fixes, and a source generator — no extra packages required.

Install

dotnet add package Conjecture.Core

Add an adapter for your test framework: Conjecture.Xunit, Conjecture.Xunit.V3, Conjecture.NUnit, Conjecture.MSTest, or Conjecture.TestingPlatform.

Usage

using Conjecture.Core;
using Conjecture.Xunit;

public class ListTests
{
    [Property]
    public bool ReversingTwiceIsIdentity(List<int> xs)
    {
        IEnumerable<int> reversed = xs.AsEnumerable().Reverse().Reverse();
        return xs.SequenceEqual(reversed);
    }
}

For parameters where the default type-based strategy isn't right, supply a custom IStrategyProvider:

using Conjecture.Core;
using Conjecture.Xunit;

public sealed class SmallPositiveInt : IStrategyProvider<int>
{
    public Strategy<int> Create() => Strategy.Integers<int>(1, 100);
}

public class MathTests
{
    [Property]
    public bool AdditionIsCommutative([From<SmallPositiveInt>] int a, [From<SmallPositiveInt>] int b)
    {
        return a + b == b + a;
    }
}
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. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (22)

Showing the top 5 NuGet packages that depend on Conjecture.Core:

Package Downloads
Conjecture.Xunit.V3

xUnit v3 adapter for Conjecture property-based testing.

Conjecture.Xunit

xUnit v2 adapter for Conjecture property-based testing.

Conjecture.MSTest

MSTest adapter for Conjecture property-based testing.

Conjecture.NUnit

NUnit adapter for Conjecture property-based testing.

Conjecture.Interactive

Strategy visualization for Conjecture: sample tables, histograms, and shrink traces as plain text.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last Updated
0.29.0 431 5/9/2026
0.28.0 398 5/9/2026
0.27.1 392 4/28/2026
0.26.0 299 4/27/2026
0.25.0 302 4/27/2026
0.24.0 289 4/26/2026
0.23.0 282 4/26/2026
0.22.0 257 4/26/2026
0.21.0 252 4/26/2026
0.20.0 235 4/25/2026
0.19.0 202 4/25/2026
0.18.0 198 4/23/2026
0.17.0 210 4/23/2026
0.16.0 190 4/22/2026
0.15.0 183 4/22/2026
0.14.0 188 4/21/2026
0.13.0 176 4/19/2026
0.12.0 178 4/19/2026
0.10.0 159 4/17/2026
0.9.0 158 4/15/2026
Loading failed