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