net8.0
Package Description
Published
Jan 12, 2025
1y ago
Total Downloads
194.0K
194,040
Install
dotnet add package DafnyBenchmarkingPlugin --version 4.9.2-nightly-2025-01-12-b8fad27
| Product | Versions |
|---|---|
| .NET |
README
DafnyBenchmarkingPlugin
This compiler plugin adds support for a class-level {:benchmarks} attribute,
for defining harnesses to measure the performance of Dafny code.
It can also be used to check for concurrent execution bugs
just by verifying the benchmarking process doesn't crash.
For now this plugin only supports the Java backend, but support for the other languages will be added in the future.
Example
See this regression test for a race condition in the Dafny runtime.
Changes from Previous Version
v4.9.2-nightly-2025-01-11-b8fad27v4.9.2-nightly-2025-01-12-b8fad27
Added Frameworks
net8.0
Added Dependencies
DafnyCore(net8.0)
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.