TestingEngine.IsTestRewritten method

Checks if the test executed by the testing engine has been rewritten with the current version.

public bool IsTestRewritten()

Return Value

True if the test has been rewritten, else false.

See Also

• class TestingEngine
• namespace Microsoft.Coyote.SystematicTesting
• assembly Microsoft.Coyote.Test