C# (CSharp) Microsoft.Coyote.Specifications TaskLivenessMonitor примеры использования

Пример #1

 internal void MonitorTaskCompletion(Task task)
 {
     if (this.Runtime.IsControlled && task.Status != TaskStatus.RanToCompletion)
     {
         var monitor = new TaskLivenessMonitor(task);
         this.LivenessMonitors.Add(monitor);
     }
 }

Пример #2

 internal void MonitorTaskCompletion(Task task)
 {
     if (this.Runtime.SchedulingPolicy is SchedulingPolicy.Systematic &&
         task.Status != TaskStatus.RanToCompletion)
     {
         var monitor = new TaskLivenessMonitor(task);
         this.LivenessMonitors.Add(monitor);
     }
 }