ICoyoteRuntime.RemoveLog method

Use this method to unregister a previously registered IRuntimeLog.

public void RemoveLog(IRuntimeLog log)

parameter	description
log	The previously registered log writer to unregister.

See Also

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