Class TraceSearchResult
public class TraceSearchResult
- Inheritance
-
TraceSearchResult
- Inherited Members
- Extension Methods
Fields
Aborted
True if the search ran out of execution steps before the search space was exhausted.
public bool Aborted
Field Value
Remarks
This property helps you understand what the Trace result means.
Aborted | Trace | Meaning |
---|---|---|
true | null | The requested trace may or may not exist. |
false | null | The requested trace does not exist. |
true | non-null | The returned trace may not be minimal |
false | non-null | The returned trace is minimal (if requested) |
NoExecutions
Number of steps taken while attempting to find a trace
public long NoExecutions
Field Value
Trace
The trace satisfying the search criteria, or NULL if no trace was found.
public Trace? Trace
Field Value
- Trace