IRuntimeLog.OnCompleted method

Invoked when a log is complete (and is about to be closed).

public void OnCompleted()

See Also

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