TestingEngine class
Testing engine that can run a controlled concurrency test using a specified configuration.
public sealed class TestingEngine : IDisposable
Public Members
name | description |
---|---|
static Create(…) | Creates a new systematic testing engine. (7 methods) |
Logger { get; set; } | Get or set the ILogger used to log messages during testing. |
ReadableTrace { get; } | The readable trace, if any. |
ReproducibleTrace { get; } | The reproducable trace, if any. |
TestReport { get; set; } | Data structure containing information gathered during testing. |
Dispose() | Releases any held resources. |
GetReport() | Returns a report with the testing results. |
IsTestRewritten() | Checks if the test executed by the testing engine has been rewritten with the current version. |
RegisterPerIterationCallBack(…) | Registers a callback to invoke at the end of each iteration. The callback takes as a parameter an integer representing the current iteration. |
Run() | Runs the testing engine. |
Stop() | Stops the testing engine. |
ThrowIfBugFound() | Throws either an AssertionFailureException, if a bug was found, or an unhandled Exception, if one was thrown. |
TryEmitCoverageReports(…) | Tries to emit the available coverage reports to the specified directory with the given file name, and returns the paths of all emitted coverage reports. |
TryEmitReports(…) | Tries to emit the available reports to the specified directory with the given file name, and returns the paths of all emitted reports. |
See Also
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test