Skip to main content
N
4.11.1-nightly-2026-10-08-5f717bf4.11.1-nightly-2026-10-10-5f717bf
DafnyTestGeneration package icon

DafnyTestGeneration

v4.11.1-nightly-2026-10-09-5f717bfPre-release
net8.0

Package Description

dafny-lang
NuGetMITCompare
Published
Oct 9, 2026
14d ago
Total Downloads
275.2K
275,237

Install

dotnet add package DafnyTestGeneration --version 4.11.1-nightly-2026-10-09-5f717bf
Download NuGet FileBrowse File Contents
ProductVersions
.NET
net8.0

Changes from Previous Version

No structural changes between v4.11.1-nightly-2026-10-08-5f717bf and v4.11.1-nightly-2026-10-09-5f717bf.

Adoption Assessment

Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.

This version is marked prerelease. Validate its API and upgrade path before production use.Compatibility metadata lists 1 target framework; confirm the exact target used by your application.

Related Guides & Workflows

Learn how to evaluate, integrate, or audit this package in your .NET project.

Audit NuGet dependencies in a .NET projectReview NuGet licenses before shipping