TestifyFailureReport (testify)

TestifyFailureReport Type

Namespace: Testify
Assembly: Testify.dll
Base Type: obj
All Interfaces: IEquatable<TestifyFailureReport> , IStructuralEquatable , IComparable<TestifyFailureReport> , IComparable , IStructuralComparable

Structured, renderer-friendly failure data used across Assert and Check reporting.

This is the common payload behind rendered failure text, JSON output, hint inference, and persisted diagnostic artifacts.

Record fields

Record Field	Description
`Actual` Full Usage: `Actual` Field type: `string option`	The rendered actual value or behavior description. Field type: `string option`
`ActualObservedInfo` Full Usage: `ActualObservedInfo` Field type: `TestifyObservedInfo option`	Structured metadata describing the actual observation. Field type: `TestifyObservedInfo option`
`ActualValue` Full Usage: `ActualValue` Field type: `string option`	The raw actual value display when Testify can expose it separately. Field type: `string option`
`Because` Full Usage: `Because` Field type: `string option`	An optional explanation of why the failure occurred. Field type: `string option`
`DetailsText` Full Usage: `DetailsText` Field type: `string option`	Additional detail text, often including nested or structured mismatch information. Field type: `string option`
`DiffText` Full Usage: `DiffText` Field type: `string option`	Optional diff-oriented text extracted from the failure details. Field type: `string option`
`Expectation` Full Usage: `Expectation` Field type: `string option`	The human-readable expectation description. Field type: `string option`
`Expected` Full Usage: `Expected` Field type: `string option`	The rendered expected value or behavior description. Field type: `string option`
`ExpectedObservedInfo` Full Usage: `ExpectedObservedInfo` Field type: `TestifyObservedInfo option`	Structured metadata describing the expected observation. Field type: `TestifyObservedInfo option`
`ExpectedValue` Full Usage: `ExpectedValue` Field type: `string option`	The raw expected value display when Testify can expose it separately. Field type: `string option`
`Hints` Full Usage: `Hints` Field type: `string list`	Explicit and inferred hints associated with the failure. Field type: `string list`
`Kind` Full Usage: `Kind` Field type: `TestifyFailureKind`	The high-level failure category. Field type: `TestifyFailureKind`
`Label` Full Usage: `Label` Field type: `string option`	An optional user-provided or framework-provided label for the failing test. Field type: `string option`
`NumberOfShrinks` Full Usage: `NumberOfShrinks` Field type: `int option`	The number of shrink steps performed before the final counterexample, when applicable. Field type: `int option`
`NumberOfTests` Full Usage: `NumberOfTests` Field type: `int option`	The number of generated tests run before the failure, when applicable. Field type: `int option`
`OriginalActual` Full Usage: `OriginalActual` Field type: `string option`	The original unshrunk actual value text when available. Field type: `string option`
`OriginalActualObservedInfo` Full Usage: `OriginalActualObservedInfo` Field type: `TestifyObservedInfo option`	Structured metadata for the original actual observation. Field type: `TestifyObservedInfo option`
`OriginalExpected` Full Usage: `OriginalExpected` Field type: `string option`	The original unshrunk expected value text when available. Field type: `string option`
`OriginalExpectedObservedInfo` Full Usage: `OriginalExpectedObservedInfo` Field type: `TestifyObservedInfo option`	Structured metadata for the original expected observation. Field type: `TestifyObservedInfo option`
`OriginalTest` Full Usage: `OriginalTest` Field type: `string option`	The original unshrunk property test expression when available. Field type: `string option`
`Replay` Full Usage: `Replay` Field type: `string option`	The replay token for reproducing the failing property run, when available. Field type: `string option`
`ShrunkActual` Full Usage: `ShrunkActual` Field type: `string option`	The final shrunk actual value text when available. Field type: `string option`
`ShrunkActualObservedInfo` Full Usage: `ShrunkActualObservedInfo` Field type: `TestifyObservedInfo option`	Structured metadata for the shrunk actual observation. Field type: `TestifyObservedInfo option`
`ShrunkExpected` Full Usage: `ShrunkExpected` Field type: `string option`	The final shrunk expected value text when available. Field type: `string option`
`ShrunkExpectedObservedInfo` Full Usage: `ShrunkExpectedObservedInfo` Field type: `TestifyObservedInfo option`	Structured metadata for the shrunk expected observation. Field type: `TestifyObservedInfo option`
`ShrunkTest` Full Usage: `ShrunkTest` Field type: `string option`	The final shrunk property test expression when available. Field type: `string option`
`SourceLocation` Full Usage: `SourceLocation` Field type: `SourceLocation option`	The most relevant recovered source location for the failure. Field type: `SourceLocation option`
`Summary` Full Usage: `Summary` Field type: `string`	The main one-line failure summary. Field type: `string`
`Test` Full Usage: `Test` Field type: `string option`	The rendered tested expression when available. Field type: `string option`