Conjecture.AspNetCore.EFCore
0.29.0
dotnet add package Conjecture.AspNetCore.EFCore --version 0.29.0
NuGet\Install-Package Conjecture.AspNetCore.EFCore -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.AspNetCore.EFCore" Version="0.29.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="Conjecture.AspNetCore.EFCore" Version="0.29.0" />
<PackageReference Include="Conjecture.AspNetCore.EFCore" />
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.AspNetCore.EFCore --version 0.29.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Conjecture.AspNetCore.EFCore, 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.AspNetCore.EFCore@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.AspNetCore.EFCore&version=0.29.0
#tool nuget:?package=Conjecture.AspNetCore.EFCore&version=0.29.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Conjecture.AspNetCore.EFCore
Satellite package that wires together Conjecture.AspNetCore and Conjecture.EFCore for property-based integration testing of ASP.NET Core applications backed by Entity Framework Core.
Install
dotnet add package Conjecture.Core
dotnet add package Conjecture.AspNetCore.EFCore
Usage
AspNetCoreDbTarget<TContext> resolves an EF Core context from a WebApplicationFactory<TEntryPoint>'s service provider and dispatches DbInteraction blocks against it. AspNetCoreEFCoreInvariants then enforces the cross-cutting invariants:
- No partial writes on error — failed requests must roll back any rows they staged.
- Cascade correctness — DELETE responses align with EF Core's modelled cascade behaviour.
- Idempotency — endpoints opted in via
MarkIdempotent(...)produce the same DB state on a retry.
using Conjecture.AspNetCore.EFCore;
using Conjecture.EFCore;
using Conjecture.Http;
using Microsoft.AspNetCore.Mvc.Testing;
WebApplicationFactory<Program> factory = new();
HttpClient client = factory.CreateClient();
HostHttpTarget http = new(factory.Services.GetRequiredService<IHost>(), client);
await using AspNetCoreDbTarget<MyDbContext> db = new(factory.Services.GetRequiredService<IHost>(), "mydb");
AspNetCoreEFCoreInvariants invariants = new(http, db);
await invariants.AssertNoPartialWritesOnErrorAsync(
(c, ct) => c.PostAsJsonAsync("/orders", new { Quantity = -1 }, ct));
Design
See ADR 0066 for design rationale.
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. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
-
net10.0
- Conjecture.AspNetCore (>= 0.29.0)
- Conjecture.EFCore (>= 0.29.0)
- Microsoft.AspNetCore.Mvc.Testing (>= 10.0.7)
- Microsoft.EntityFrameworkCore (>= 10.0.7)
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.