IActorRuntimeLog.OnCompleted method

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

public void OnCompleted()

See Also

• interface IActorRuntimeLog
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote