TestingEngine.SetLogger method

Installs the specified ILogger to log messages during testing.

public void SetLogger(ILogger logger)

See Also

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