Conjecture.Time
0.29.0
dotnet add package Conjecture.Time --version 0.29.0
NuGet\Install-Package Conjecture.Time -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.Time" Version="0.29.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="Conjecture.Time" Version="0.29.0" />
<PackageReference Include="Conjecture.Time" />
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.Time --version 0.29.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Conjecture.Time, 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.Time@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.Time&version=0.29.0
#tool nuget:?package=Conjecture.Time&version=0.29.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Conjecture.Time
Time-focused strategies for Conjecture property-based testing. Provides boundary-aware DateTimeOffset extensions and FakeTimeProvider generation for deterministic time-dependent tests.
Install
dotnet add package Conjecture.Time
Usage
using Conjecture.Core;
using Conjecture.Time;
// Generate values near DST transitions
[Property]
public bool DstSafe([From<DateTimeOffsetArbitrary>] DateTimeOffset dt)
{
DateTimeOffset nearDst = Strategy.DateTimeOffsets().NearDstTransition();
// ...
}
// Generate a cluster of clocks with bounded skew
[Property]
public bool ClockSkewTolerant(int x)
{
FakeTimeProvider[] clocks = Strategy.ClockSet(nodeCount: 3, maxSkew: TimeSpan.FromSeconds(5))
.Sample();
// ...
}
API
| Method | Returns | Description |
|---|---|---|
Strategy.TimeZones() |
Strategy<TimeZoneInfo> |
System time zones, shrinks toward UTC |
Strategy.ClockSet(nodeCount, maxSkew) |
Strategy<FakeTimeProvider[]> |
Array of clocks with bounded skew |
.NearMidnight() |
Strategy<DateTimeOffset> |
Values within ~30 min of midnight |
.NearLeapYear() |
Strategy<DateTimeOffset> |
Values within ~1 day of Feb 29 |
.NearEpoch() |
Strategy<DateTimeOffset> |
Values near Unix epoch, Y2K38, min/max |
.NearDstTransition(zone?) |
Strategy<DateTimeOffset> |
Values within ~1 hour of a DST transition |
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.Core (>= 0.29.0)
- Microsoft.Extensions.TimeProvider.Testing (>= 10.5.0)
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.29.0 | 138 | 5/9/2026 |
| 0.28.0 | 98 | 5/9/2026 |
| 0.27.1 | 112 | 4/28/2026 |
| 0.26.0 | 98 | 4/27/2026 |
| 0.25.0 | 103 | 4/27/2026 |
| 0.24.0 | 97 | 4/26/2026 |
| 0.23.0 | 97 | 4/26/2026 |
| 0.22.0 | 96 | 4/26/2026 |
| 0.21.0 | 101 | 4/26/2026 |
| 0.20.0 | 104 | 4/25/2026 |
| 0.19.0 | 98 | 4/25/2026 |
| 0.18.0 | 111 | 4/23/2026 |
| 0.17.0 | 114 | 4/23/2026 |
| 0.16.0 | 100 | 4/22/2026 |
| 0.15.0 | 96 | 4/22/2026 |
| 0.14.0 | 95 | 4/21/2026 |
| 0.13.0 | 109 | 4/19/2026 |
| 0.12.0 | 99 | 4/19/2026 |
| 0.10.0 | 108 | 4/17/2026 |
| 0.9.0 | 105 | 4/15/2026 |
Loading failed