ICoyoteRuntime.RegisterLog method

Use this method to register an IRuntimeLog.

public void RegisterLog(IRuntimeLog log)

parameter	description
log	The log writer to register.

See Also

• interface IRuntimeLog
• interface ICoyoteRuntime
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote