Conjecture.Core
0.29.0
dotnet add package Conjecture.Core --version 0.29.0
NuGet\Install-Package Conjecture.Core -Version 0.29.0
<PackageReference Include="Conjecture.Core" Version="0.29.0" />
<PackageVersion Include="Conjecture.Core" Version="0.29.0" />
<PackageReference Include="Conjecture.Core" />
paket add Conjecture.Core --version 0.29.0
#r "nuget: Conjecture.Core, 0.29.0"
#:package Conjecture.Core@0.29.0
#addin nuget:?package=Conjecture.Core&version=0.29.0
#tool nuget:?package=Conjecture.Core&version=0.29.0
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;
}
}
Links
| Product | Versions 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. |
-
net10.0
- Conjecture.Core.Abstractions (>= 0.29.0)
- Conjecture.Testing.Abstractions (>= 0.29.0)
- Microsoft.Data.Sqlite (>= 10.0.7)
- Microsoft.Extensions.Logging.Abstractions (>= 10.0.7)
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 |