Microsoft.Coyote.Test assembly

Microsoft.Coyote.Rewriting namespace

public type description
class AssemblyRewriter Rewrites an assembly for systematic testing.
class IsAssemblyRewrittenAttribute Attribute for checking if an assembly has been rewritten by Coyote. If this attribute is applied to an assembly, it denotes that the assembly has been rewritten.
class RewritingOptions Options for rewriting binaries.

Microsoft.Coyote.SystematicTesting namespace

public type description
class TestAttribute Attribute for declaring the entry point to a Coyote 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.