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.