Microsoft.Coyote.SystematicTesting namespace

public type description
class TestAttribute Attribute for declaring the entry point to a Coyote program test.
class TestDisposeAttribute Attribute for declaring a cleanup method to be called when all test iterations terminate.
class TestingEngine Testing engine that can run a controlled concurrency test using a specified configuration.
class TestInitAttribute Attribute for declaring the initialization method to be called before testing starts.
class TestIterationDisposeAttribute Attribute for declaring a cleanup method to be called when each test iteration terminates.
class TestReport Class implementing the Coyote test report.