Ejemplos de Microsoft.Coyote.Specifications TaskLivenessMonitor en C# (CSharp)

Ejemplo n.º 1

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

Ejemplo n.º 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);
     }
 }