TestReport.Configuration property
Configuration of the program-under-test.
public Configuration Configuration { get; }
See Also
- class TestReport
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
Configuration of the program-under-test.
public Configuration Configuration { get; }