IRuntimeExtension.RunTest method

Runs the specified test entry point delegate and returns a task that completes when the test is completed.

public bool RunTest(Delegate test, out Task task)

parameter	description
test	The test entry point delegate.
task	A task that completes when the test is completed.

Return Value

True if the extension can execute the test, else false.

See Also

• interface IRuntimeExtension
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote