Cohesive.Simulation.Xunit
0.1.0-alpha.85
dotnet add package Cohesive.Simulation.Xunit --version 0.1.0-alpha.85
NuGet\Install-Package Cohesive.Simulation.Xunit -Version 0.1.0-alpha.85
<PackageReference Include="Cohesive.Simulation.Xunit" Version="0.1.0-alpha.85" />
<PackageVersion Include="Cohesive.Simulation.Xunit" Version="0.1.0-alpha.85" />
<PackageReference Include="Cohesive.Simulation.Xunit" />
paket add Cohesive.Simulation.Xunit --version 0.1.0-alpha.85
#r "nuget: Cohesive.Simulation.Xunit, 0.1.0-alpha.85"
#:package Cohesive.Simulation.Xunit@0.1.0-alpha.85
#addin nuget:?package=Cohesive.Simulation.Xunit&version=0.1.0-alpha.85&prerelease
#tool nuget:?package=Cohesive.Simulation.Xunit&version=0.1.0-alpha.85&prerelease
Cohesive.Simulation.Xunit
Cohesive.Simulation.Xunit is the optional xUnit assertion adapter for runner-neutral property checks from
Cohesive.Simulation. It reports existing PropertyCaseRunResult values; it does not own generation, evaluation,
shrinking, or replay semantics.
Install
The current alpha targets .NET 10 and xUnit 2:
dotnet add package Cohesive.Simulation.Xunit --prerelease
using Cohesive.Simulation;
using Cohesive.Simulation.Generation;
using Cohesive.Simulation.Xunit;
using Xunit;
[Fact]
public void Customer_AlwaysHasAnAdultAge()
{
var customers = Simulation.Define<Customer>(customer => customer
.Member(value => value.Age, Gen.Int32(minimum: 0, maximum: 100)))
.Compile();
PropertyCaseRunResult result = customers.CheckProperty(
seed: 42,
property: static customer => customer.Age >= 18);
PropertyCaseAssert.Passed(result);
}
public sealed record Customer(int Age);
Passing results return normally. Counterexample, invalid, and exhausted results throw XunitException with stable
status, bounded-run counts, normalized coverage, structured diagnostics, and any best counterexample. Counterexample
reports retain the exact csimpc1 replay token. The canonical observation is included for inspection but capped at
4,096 characters with an explicit truncation marker, so large generated values do not overwhelm test and agent logs.
The assertion accepts only a completed result by design. Keep property callbacks in the runner-neutral check so the same result can be inspected by scripts, other test runners, and future assurance tooling without making xUnit a second semantic authority.
The runner-neutral result can also be consumed directly by scripts or another test adapter. See the getting-started guide for replay and bounded-run behavior.
| 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
- Cohesive.Simulation (>= 0.1.0-alpha.85)
- xunit.assert (>= 2.9.3)
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 0.1.0-alpha.85 | 0 | 9/17/2026 |
| 0.1.0-alpha.84 | 0 | 9/17/2026 |
| 0.1.0-alpha.83 | 0 | 9/16/2026 |
| 0.1.0-alpha.82 | 27 | 9/16/2026 |
| 0.1.0-alpha.81 | 28 | 9/16/2026 |
| 0.1.0-alpha.80 | 59 | 9/8/2026 |
| 0.1.0-alpha.79 | 63 | 9/7/2026 |
| 0.1.0-alpha.78 | 59 | 9/7/2026 |
| 0.1.0-alpha.77 | 53 | 9/7/2026 |
| 0.1.0-alpha.76 | 69 | 9/6/2026 |
| 0.1.0-alpha.75 | 59 | 9/6/2026 |
| 0.1.0-alpha.74 | 65 | 9/6/2026 |
| 0.1.0-alpha.73 | 92 | 9/5/2026 |
| 0.1.0-alpha.72 | 57 | 9/5/2026 |
| 0.1.0-alpha.71 | 59 | 9/4/2026 |
| 0.1.0-alpha.70 | 64 | 9/4/2026 |