Class StateMachineFormatter<TState>

Namespace

Conjecture.Core

Assembly

Conjecture.Core.dll

Formats a StateMachineRun<TState> counterexample as a human-readable step-sequence showing the exact commands that led to an invariant violation.

public sealed class StateMachineFormatter<TState> : IStrategyFormatter<StateMachineRun<TState>>

Type Parameters

TState

The type representing the system's state.

Inheritance

object

StateMachineFormatter<TState>

Implements

IStrategyFormatter<StateMachineRun<TState>>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Methods

Format(StateMachineRun<TState>)

Returns a human-readable string representation of value.

public string Format(StateMachineRun<TState> value)

Parameters

value StateMachineRun<TState>

Returns

string