IRuntimeExtension interface
Interface for a Coyote runtime extension.
public interface IRuntimeExtension : IDisposable
Members
| name | description |
|---|---|
| BuildCoverageInfo() | Builds the extended CoverageInfo. |
| GetCoverageGraph() | Returns the CoverageGraph of the current execution. |
| GetCoverageInfo() | Returns the extended CoverageInfo. |
| RunTest(…) | Runs the specified test entry point delegate and returns a task that completes when the test is completed. |
| WaitUntilQuiescenceAsync() | Returns a task that completes once all operations managed by the extension reach quiescence. |
See Also
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote