Struct ExecutedStep<TState>
- Namespace
- Conjecture.Core
- Assembly
- Conjecture.Core.dll
Represents a single executed step in a stateful test run, capturing the resulting state and a human-readable label for the command that was applied.
public readonly record struct ExecutedStep<TState> : IEquatable<ExecutedStep<TState>>
Type Parameters
TStateThe type representing the system's state.
- Implements
-
IEquatable<ExecutedStep<TState>>
- Inherited Members
Constructors
ExecutedStep(TState, string)
Represents a single executed step in a stateful test run, capturing the resulting state and a human-readable label for the command that was applied.
public ExecutedStep(TState State, string CommandLabel)
Parameters
StateTStateThe post-command state after this step was executed.
CommandLabelstringA human-readable label for the command that produced this state.
Properties
CommandLabel
A human-readable label for the command that produced this state.
public string CommandLabel { get; init; }
Property Value
State
The post-command state after this step was executed.
public TState State { get; init; }
Property Value
- TState