Conjecture.FSharp.Expecto 0.16.0

Conjecture.NET

Property-based testing for .NET — a ground-up port of Python's Hypothesis.

What is it?

Write tests that describe what your code should do, and let Conjecture generate hundreds of random inputs to find the edge cases you'd never think of. When it finds a failure, it automatically shrinks the input to the smallest possible counterexample — no hand-written cases required.

Install

Pick the adapter for your test framework:

dotnet add package Conjecture.Xunit      # xUnit v2
dotnet add package Conjecture.Xunit.V3   # xUnit v3
dotnet add package Conjecture.NUnit      # NUnit
dotnet add package Conjecture.MSTest     # MSTest

Quick Example

using Conjecture.Xunit;

public class SortTests
{
    [Property]
    public bool Sorting_is_idempotent(List<int> items)
    {
        var sorted = items.OrderBy(x => x).ToList();
        var sortedTwice = sorted.OrderBy(x => x).ToList();
        return sorted.SequenceEqual(sortedTwice);
    }
}

Run with dotnet test. Conjecture generates random lists, runs the property 100 times, and if it fails, shrinks the input to the minimal failing case.

Features

• Automatic test generation — generates random inputs from type-aware strategies
• Intelligent shrinking — finds the smallest failing input via byte-stream minimization
• LINQ composition — build complex strategies with Select, Where, SelectMany
• All major frameworks — xUnit v2, xUnit v3, NUnit, MSTest
• Source generators — derive strategies for your types with [Arbitrary]
• Roslyn analyzers — catch common mistakes at compile time
• Stateful testing — model systems as state machines and explore command sequences
• Targeted testing — steer generation toward extremes with Target.Maximize / Target.Minimize
• Recursive strategies — generate bounded-depth trees and self-referential types
• Example database — persist failing inputs for automatic regression prevention
• Structured logging — structured events for generation, shrinking, and targeting phases

Documentation

Full documentation is at ommundsen.dev/Conjecture:

• Quick Start — write your first property test in 5 minutes
• Tutorials — learn property-based testing step by step
• API Reference — auto-generated from source
• Porting Guide — coming from Python Hypothesis?
• Changelog

Credit

This project is an attempt at a .NET port of Hypothesis for Python. The concept of this project builds on and would not be possible without the work of David R. MacIver and Zac Hatfield-Dodds, as well as the many other authors of the Hypothesis project.

License

Source code: MPL-2.0 | NuGet packages: MIT