Table of Contents

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

TState

The type representing the system's state.

Implements
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

State TState

The post-command state after this step was executed.

CommandLabel string

A 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

string

State

The post-command state after this step was executed.

public TState State { get; init; }

Property Value

TState