TestingEngine.ThrowIfBugFound method

Throws either an AssertionFailureException, if a bug was found, or an unhandled Exception, if one was thrown.

public void ThrowIfBugFound()

See Also

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