Class StateMachineRun<TState>

Namespace

Conjecture.Core

Assembly

Conjecture.Core.dll

Represents the result of a single stateful test run, containing the sequence of executed steps, the final state, and information about any invariant violation that occurred.

public sealed class StateMachineRun<TState>

Type Parameters

TState

The type representing the system's state.

Inheritance

object

StateMachineRun<TState>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

StateMachineRun(IReadOnlyList<ExecutedStep<TState>>, TState, int?)

Represents the result of a single stateful test run, containing the sequence of executed steps, the final state, and information about any invariant violation that occurred.

public StateMachineRun(IReadOnlyList<ExecutedStep<TState>> steps, TState initialState, int? failureStepIndex)

Parameters

steps IReadOnlyList<ExecutedStep<TState>>

initialState TState

failureStepIndex int?

Properties

FailureStepIndex

Gets the 0-based index of the step at which an invariant violation was detected, or null if the run completed without a violation.

public int? FailureStepIndex { get; }

Property Value

int?

FinalState

Gets the state after the last executed step, or the initial state when no steps were executed.

public TState FinalState { get; }

Property Value

TState

Passed

Gets a value indicating whether the run completed without an invariant violation.

public bool Passed { get; }

Property Value

bool

Steps

Gets the sequence of executed steps in the order they were applied.

public IReadOnlyList<ExecutedStep<TState>> Steps { get; }

Property Value

IReadOnlyList<ExecutedStep<TState>>