TestingEngine.ReadableTrace property
The readable trace, if any.
public string ReadableTrace { get; }
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
The readable trace, if any.
public string ReadableTrace { get; }