TestMu Conference is Back! Future of Testing + AI LambdaTest G2 Announcement

How to use Task class of Microsoft.Coyote.Rewriting.Types.Threading.Tasks package

Best Coyote code snippet using Microsoft.Coyote.Rewriting.Types.Threading.Tasks.Task

ValueTask.cs

Source:ValueTask.cs

...4using Microsoft.Coyote.Rewriting.Types.Runtime.CompilerServices;5using Microsoft.Coyote.Runtime;6using Microsoft.Coyote.Runtime.CompilerServices;7using SystemCancellationToken = System.Threading.CancellationToken;8using SystemTask = System.Threading.Tasks.Task;9using SystemTaskContinuationOptions = System.Threading.Tasks.TaskContinuationOptions;10using SystemTaskCreationOptions = System.Threading.Tasks.TaskCreationOptions;11using SystemTasks = System.Threading.Tasks;12using SystemValueTask = System.Threading.Tasks.ValueTask;13namespace Microsoft.Coyote.Rewriting.Types.Threading.Tasks14{15    /// <summary>16    /// Provides methods for creating value tasks that can be controlled during testing.17    /// </summary>18    /// <remarks>This type is intended for compiler use rather than use directly in code.</remarks>19    [System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]20    public static class ValueTask21    {22#if NET23        /// <summary>24        /// Gets a value task that has already completed successfully.25        /// </summary>26        public static SystemValueTask CompletedTask { get; } = SystemValueTask.CompletedTask;27        /// <summary>28        /// Creates a value task that has completed successfully with the specified result.29        /// </summary>30        public static SystemTasks.ValueTask<TResult> FromResult<TResult>(TResult result) =>31            SystemValueTask.FromResult(result);32        /// <summary>33        /// Creates a value task that has completed due to cancellation with the specified cancellation token.34        /// </summary>35        public static SystemValueTask FromCanceled(SystemCancellationToken cancellationToken) =>36            SystemValueTask.FromCanceled(cancellationToken);37        /// <summary>38        /// Creates a value task that has completed due to cancellation with the specified cancellation token.39        /// </summary>40        public static SystemTasks.ValueTask<TResult> FromCanceled<TResult>(SystemCancellationToken cancellationToken) =>41            SystemValueTask.FromCanceled<TResult>(cancellationToken);42        /// <summary>43        /// Creates a value task that has completed with the specified exception.44        /// </summary>45        public static SystemValueTask FromException(Exception exception) => SystemValueTask.FromException(exception);46        /// <summary>47        /// Creates a value task that has completed with the specified exception.48        /// </summary>49        public static SystemTasks.ValueTask<TResult> FromException<TResult>(Exception exception) =>50            SystemValueTask.FromException<TResult>(exception);51#endif52        /// <summary>53        /// Retrieves a task object that represents this value task.54        /// </summary>55        public static SystemTask AsTask(in SystemValueTask task) => task.AsTask();56        /// <summary>57        /// Returns a value task awaiter for the specified task.58        /// </summary>59        public static ValueTaskAwaiter GetAwaiter(ref SystemValueTask task) => new ValueTaskAwaiter(ref task);60        /// <summary>61        /// Configures an awaiter used to await this task.62        /// </summary>63        public static ConfiguredValueTaskAwaitable ConfigureAwait(64            ref SystemValueTask task, bool continueOnCapturedContext) =>65            new ConfiguredValueTaskAwaitable(ref task, continueOnCapturedContext);66    }67    /// <summary>68    /// Provides methods for creating generic value tasks that can be controlled during testing.69    /// </summary>70    /// <remarks>This type is intended for compiler use rather than use directly in code.</remarks>71    [System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]72    public static class ValueTask<TResult>73    {74#pragma warning disable CA1000 // Do not declare static members on generic types75        /// <summary>76        /// The default generic task factory.77        /// </summary>78        private static SystemTasks.TaskFactory<TResult> DefaultFactory = new SystemTasks.TaskFactory<TResult>();79        /// <summary>80        /// Provides access to factory methods for creating controlled generic task instances.81        /// </summary>82        public static SystemTasks.TaskFactory<TResult> Factory83        {84            get85            {86                var runtime = CoyoteRuntime.Current;87                if (runtime.SchedulingPolicy is SchedulingPolicy.None)88                {89                    return DefaultFactory;90                }91                // TODO: cache this per runtime.92                return new SystemTasks.TaskFactory<TResult>(SystemCancellationToken.None,93                    SystemTaskCreationOptions.HideScheduler, SystemTaskContinuationOptions.HideScheduler,94                    runtime.ControlledTaskScheduler);95            }96        }97        /// <summary>98        /// Gets the result value of the specified generic task.99        /// </summary>100#pragma warning disable CA1707 // Remove the underscores from member name101#pragma warning disable SA1300 // Element should begin with an uppercase letter102#pragma warning disable IDE1006 // Naming Styles103        public static TResult get_Result(ref SystemTasks.ValueTask<TResult> task)104        {105            var runtime = CoyoteRuntime.Current;106            if (runtime.SchedulingPolicy != SchedulingPolicy.None &&107                ValueTaskAwaiter.TryGetTask<TResult>(ref task, out SystemTasks.Task<TResult> innerTask))108            {109                TaskServices.WaitUntilTaskCompletes(runtime, innerTask);110            }111            return task.Result;112        }113#pragma warning restore CA1707 // Remove the underscores from member name114#pragma warning restore SA1300 // Element should begin with an uppercase letter115#pragma warning restore IDE1006 // Naming Styles116        /// <summary>117        /// Retrieves a task object that represents this value task.118        /// </summary>119        public static SystemTasks.Task<TResult> AsTask(in SystemTasks.ValueTask<TResult> task) => task.AsTask();120        /// <summary>121        /// Returns a generic task awaiter for the specified generic task.122        /// </summary>123        public static ValueTaskAwaiter<TResult> GetAwaiter(ref SystemTasks.ValueTask<TResult> task) =>124            new ValueTaskAwaiter<TResult>(ref task);125        /// <summary>126        /// Configures an awaiter used to await this task.127        /// </summary>128        public static ConfiguredValueTaskAwaitable<TResult> ConfigureAwait(129            ref SystemTasks.ValueTask<TResult> task, bool continueOnCapturedContext) =>130            new ConfiguredValueTaskAwaitable<TResult>(ref task, continueOnCapturedContext);131#pragma warning restore CA1000 // Do not declare static members on generic types132    }133}...

PausedOperationAwaitableTests.cs

Source:PausedOperationAwaitableTests.cs

1ï»¿// Copyright (c) Microsoft Corporation.2// Licensed under the MIT License.3using System.Threading.Tasks;4using Microsoft.Coyote.Specifications;5using Microsoft.Coyote.Tests.Common.Tasks;6using Xunit;7using Xunit.Abstractions;8using CoyoteTypes = Microsoft.Coyote.Rewriting.Types;9namespace Microsoft.Coyote.Runtime.Tests10{11    public class PausedOperationAwaitableTests : BaseRuntimeTest12    {13        public PausedOperationAwaitableTests(ITestOutputHelper output)14            : base(output)15        {16        }17        [Fact(Timeout = 5000)]18        public void TestPausedOperationAwaitablePersistsOperation()19        {20            this.RunSystematicTest(() =>21            {22                var tcs = new TaskCompletionSource<bool>();23                var task = CoyoteTypes.Threading.Tasks.Task.Run(async () =>24                {25                    var op = CoyoteRuntime.Current.GetExecutingOperation();26                    await CoyoteRuntime.Current.PauseOperationUntilAsync(() => tcs.Task.IsCompleted, false);27                    Specification.Assert(op == CoyoteRuntime.Current.GetExecutingOperation(),28                        "Operation of the continuation is not the same.");29                });30                CoyoteTypes.Threading.Tasks.TaskCompletionSource<bool>.SetResult(tcs, true);31                CoyoteTypes.Threading.Tasks.Task.Wait(task);32            },33            configuration: this.GetConfiguration().WithTestingIterations(100));34        }35        [Fact(Timeout = 5000)]36        public void TestPausedOperationAwaitableResumesAsynchronously()37        {38            this.RunSystematicTest(() =>39            {40                var tcs1 = new TaskCompletionSource<bool>();41                var tcs2 = new TaskCompletionSource<bool>();42                var task = CoyoteTypes.Threading.Tasks.Task.Run(async () =>43                {44                    var op = CoyoteRuntime.Current.GetExecutingOperation();45                    CoyoteTypes.Threading.Tasks.TaskCompletionSource<bool>.SetResult(tcs2, true);46                    await CoyoteRuntime.Current.PauseOperationUntilAsync(() => tcs1.Task.IsCompleted, true);47                    Specification.Assert(op != CoyoteRuntime.Current.GetExecutingOperation(),48                        "Operation of the continuation is the same.");49                });50                CoyoteRuntime.Current.PauseOperationUntil(default, () => tcs2.Task.IsCompleted);51                CoyoteTypes.Threading.Tasks.TaskCompletionSource<bool>.SetResult(tcs1, true);52                CoyoteTypes.Threading.Tasks.Task.Wait(task);53            },54            configuration: this.GetConfiguration().WithTestingIterations(100));55        }56        private static async AsyncTask RecursiveAsync(TaskCompletionSource<bool> tcs, int depth, int maxDepth)57        {58            if (++depth < maxDepth)59            {60                await RecursiveAsync(tcs, depth, maxDepth);61            }62            if (depth == maxDepth)63            {64                await CoyoteRuntime.Current.PauseOperationUntilAsync(() => tcs.Task.IsCompleted, false);65            }66        }67        [Fact(Timeout = 5000)]68        public void TestPausedOperationAwaitableRunsAsynchronously()69        {70            this.RunSystematicTest(() =>71            {72                var tcs1 = new TaskCompletionSource<bool>();73                var tcs2 = new TaskCompletionSource<bool>();74                var task = CoyoteTypes.Threading.Tasks.Task.Run(async () =>75                {76                    var op = CoyoteRuntime.Current.GetExecutingOperation();77                    var t = RecursiveAsync(tcs1, 0, 10);78                    CoyoteTypes.Threading.Tasks.TaskCompletionSource<bool>.SetResult(tcs2, true);79                    await t;80                    Specification.Assert(op == CoyoteRuntime.Current.GetExecutingOperation(),81                        "Operation of the continuation is not the same.");82                });83                CoyoteRuntime.Current.PauseOperationUntil(default, () => tcs2.Task.IsCompleted);84                CoyoteTypes.Threading.Tasks.TaskCompletionSource<bool>.SetResult(tcs1, true);85                CoyoteTypes.Threading.Tasks.Task.Wait(task);86            },87            configuration: this.GetConfiguration().WithTestingIterations(100));88        }89    }90}...

ExecutionTraceCheckpointTests.cs

Source:ExecutionTraceCheckpointTests.cs

...37            bool isSnapshotReset = true;38            this.RunSystematicTest(() =>39            {40                var values = new List<int>(10);41                var task1 = CoyoteTypes.Threading.Tasks.Task.Run(() =>42                {43                    while (values.Count < values.Capacity)44                    {45                        values.Add(0);46                        if (IsSequenceFound(values))47                        {48                            Microsoft.Coyote.Runtime.SchedulingPoint.SetCheckpoint();49                        }50                        Microsoft.Coyote.Runtime.SchedulingPoint.Interleave();51                    }52                });53                var task2 = CoyoteTypes.Threading.Tasks.Task.Run(() =>54                {55                    while (values.Count < values.Capacity)56                    {57                        values.Add(1);58                        if (IsSequenceFound(values))59                        {60                            Microsoft.Coyote.Runtime.SchedulingPoint.SetCheckpoint();61                        }62                        Microsoft.Coyote.Runtime.SchedulingPoint.Interleave();63                    }64                });65                CoyoteTypes.Threading.Tasks.Task.WaitAll(task1, task2);66                Assert.True(values.Count == values.Capacity);67                this.TestOutput.WriteLine("Values: {0}", string.Join(string.Empty, values));68                bool isSequenceFound = true;69                for (int i = 0; i < values.Capacity / 2; i++)70                {71                    if (values[i] != 0)72                    {73                        isSequenceFound = false;74                    }75                }76                for (int i = 5; i < values.Capacity; i++)77                {78                    if (values[i] != 1)79                    {...

Task

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;4{5    {6        public static async Task Main(string[] args)7        {8            Console.WriteLine("Hello World!");9            await Task.Delay(1000);10            Console.WriteLine("Hello World!");11        }12    }13}14using System;15using System.Threading.Tasks;16{17    {18        public static async Task Main(string[] args)19        {20            Console.WriteLine("Hello World!");21            await Task.Delay(1000);22            Console.WriteLine("Hello World!");23        }24    }25}

Task

Using AI Code Generation

1using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;2using System.Threading.Tasks;3{4    static async Task Main(string[] args)5    {6        await Task.Run(() => { });7    }8}9using System.Threading.Tasks;10{11    static async Task Main(string[] args)12    {13        await Task.Run(() => { });14    }15}

Task

Using AI Code Generation

1{2    {3        public static Task Run(Action action)4        {5            System.Threading.Tasks.Task.Run(action);6            return null;7        }8    }9}10{11    {12        public static Task Run(Action action)13        {14            System.Threading.Tasks.Task.Run(action);15            return null;16        }17    }18}19{20    {21        public static Task Run(Action action)22        {23            System.Threading.Tasks.Task.Run(action);24            return null;25        }26    }27}28{29    {30        public static Task Run(Action action)31        {32            System.Threading.Tasks.Task.Run(action);33            return null;34        }35    }36}37{38    {39        public static Task Run(Action action)40        {41            System.Threading.Tasks.Task.Run(action);42            return null;43        }44    }45}46{47    {48        public static Task Run(Action action)49        {50            System.Threading.Tasks.Task.Run(action);51            return null;52        }53    }54}55{56    {57        public static Task Run(Action action)58        {59            System.Threading.Tasks.Task.Run(action);60            return null;61        }62    }63}

Task

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;5using Microsoft.Coyote.Specifications;6using Microsoft.Coyote.Tasks;7using Microsoft.Coyote.Tasks.SystematicTesting;8using Microsoft.Coyote.Tasks.SystematicTesting.Specifications;9using Microsoft.Coyote.Tasks.SystematicTesting.Threading.Tasks;10using Microsoft.Coyote.Tasks.SystematicTesting.Threading.Tasks.Rewriting;11using Microsoft.Coyote.Tasks.Threading.Tasks;12using Microsoft.Coyote.Tasks.Threading.Tasks.Rewriting;13{14    {15        public static async Task Main(string[] args)16        {17            var config = Configuration.Create();18            config.SchedulingIterations = 100;19            config.SchedulingStrategy = SchedulingStrategy.Systematic;20            config.Verbose = 1;21            config.MaxFairSchedulingSteps = 100;22            config.MaxUnfairSchedulingSteps = 100;23            config.MaxStepsFromEntryToExit = 100;24            config.MaxStepsFromAnyStateToExit = 100;25            config.MaxStepsFromAnyStateToAnyState = 100;26            config.MaxStepsFromAnyStateToAnyStateWithSameAction = 100;27            config.MaxStepsFromAnyStateToAnyStateWithSameActionAndSameTarget = 100;28            config.MaxStepsFromAnyStateToAnyStateWithSameActionAndDifferentTarget = 100;29            config.MaxStepsFromAnyStateToAnyStateWithDifferentAction = 100;30            var test = Task.Run(() => Test1());31            await CoyoteRuntime.RunAsync(config, test);32        }33        public static async Task Test1()34        {35            await Task.Run(() => Console.WriteLine("Hello World!"));36        }37        public static async Task Test2()38        {39            await Task.Run(() => Console.WriteLine("Hello World!"));40        }41    }42}43at Microsoft.Coyote.Tasks.SystematicTesting.StateMachineTaskScheduler.AssertValidStateMachineType(Type stateMachineType)44at Microsoft.Coyote.Tasks.SystematicTesting.StateMachineTaskScheduler.RunStateMachineTask(Object stateMachineTask)45at Microsoft.Coyote.Tasks.SystematicTesting.StateMachineTaskScheduler.RunStateMachineTask[TStateMachine](StateMachineTask

Task

Using AI Code Generation

1using System.Threading.Tasks;2using Microsoft.Coyote;3using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;4using System.Threading;5{6    {7        public static void Main()8        {9            Task task = new Task(() =>10            {11                Console.WriteLine("Hello World!");12            });13            task.Start();14            task.Wait();15        }16    }17}18using System.Threading.Tasks;19using System.Threading;20{21    {22        public static void Main()23        {24            Task task = new Task(() =>25            {26                Console.WriteLine("Hello World!");27            });28            task.Start();29            task.Wait();30        }31    }32}33using System.Threading.Tasks;34using Microsoft.Coyote;35using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;36using System.Threading;37{38    {39        public static void Main()40        {41            Task task = new Task(() =>42            {43                Console.WriteLine("Hello World!");44            });45            task.Start();46            task.Wait();47        }48    }49}

Task

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;4{5    {6        static void Main(string[] args)7        {8            Task task = new Task(() =>9            {10                Console.WriteLine("Hello from task");11            });12            task.Start();13            Console.WriteLine("Hello from main thread");14            task.Wait();15        }16    }17}

Task

Using AI Code Generation

1using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;2{3    {4        static void Main(string[] args)5        {6            var task = new Task(() =>7            {8                System.Console.WriteLine("Task");9            });10            task.Start();11            task.Wait();12            System.Console.WriteLine("Done");13        }14    }15}16using System.Threading.Tasks;17{18    {19        static void Main(string[] args)20        {21            var task = new Task(() =>22            {23                System.Console.WriteLine("Task");24            });25            task.Start();26            task.Wait();27            System.Console.WriteLine("Done");28        }29    }30}31using System.Threading.Tasks;32{33    {34        static void Main(string[] args)35        {36            var task = new Task(() =>37            {38                System.Console.WriteLine("Task");39            });40            task.Start();41            task.Wait();42            System.Console.WriteLine("Done");43        }44    }45}46using System.Threading.Tasks;47{48    {49        static void Main(string[] args)50        {51            var task = new Task(() =>52            {53                System.Console.WriteLine("Task");54            });55            task.Start();56            task.Wait();57            System.Console.WriteLine("Done");58        }59    }60}61using System.Threading.Tasks;62{63    {64        static void Main(string[] args)65        {66            var task = new Task(() =>67            {68                System.Console.WriteLine("Task");69            });70            task.Start();71            task.Wait();72            System.Console.WriteLine("Done");73        }74    }75}

Task

Using AI Code Generation

1{2    public static void Main()3    {4        var task = Task.Run(() => { });5        task.Wait();6    }7}8{9    public static void Main()10    {11        var task = Task.Run(() => { });12        task.Wait();13    }14}15{16    {17        public static Task Run(Action action)18        {19            System.Threading.Tasks.Task.Run(action);20            return null;21        }22    }23}

Task

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;5using Microsoft.Coyote.Specifications;6using Microsoft.Coyote.Tasks;7using Microsoft.Coyote.Tasks.SystematicTesting;8using Microsoft.Coyote.Tasks.SystematicTesting.Specifications;9using Microsoft.Coyote.Tasks.SystematicTesting.Threading.Tasks;10using Microsoft.Coyote.Tasks.SystematicTesting.Threading.Tasks.Rewriting;11using Microsoft.Coyote.Tasks.Threading.Tasks;12using Microsoft.Coyote.Tasks.Threading.Tasks.Rewriting;13{14    {15        public static async Task Main(string[] args)16        {17            var config = Configuration.Create();18            config.SchedulingIterations = 100;19            config.SchedulingStrategy = SchedulingStrategy.Systematic;20            config.Verbose = 1;21            config.MaxFairSchedulingSteps = 100;22            config.MaxUnfairSchedulingSteps = 100;23            config.MaxStepsFromEntryToExit = 100;24            config.MaxStepsFromAnyStateToExit = 100;25            config.MaxStepsFromAnyStateToAnyState = 100;26            config.MaxStepsFromAnyStateToAnyStateWithSameAction = 100;27            config.MaxStepsFromAnyStateToAnyStateWithSameActionAndSameTarget = 100;28            config.MaxStepsFromAnyStateToAnyStateWithSameActionAndDifferentTarget = 100;29            config.MaxStepsFromAnyStateToAnyStateWithDifferentAction = 100;30            var test = Task.Run(() => Test1());31            await CoyoteRuntime.RunAsync(config, test);32        }33        public static async Task Test1()34        {35            await Task.Run(() => Console.WriteLine("Hello World!"));36        }37        public static async Task Test2()38        {39            await Task.Run(() => Console.WriteLine("Hello World!"));40        }41    }42}43at Microsoft.Coyote.Tasks.SystematicTesting.StateMachineTaskScheduler.AssertValidStateMachineType(Type stateMachineType)44at Microsoft.Coyote.Tasks.SystematicTesting.StateMachineTaskScheduler.RunStateMachineTask(Object stateMachineTask)45at Microsoft.Coyote.Tasks.SystematicTesting.StateMachineTaskScheduler.RunStateMachineTask[TStateMachine](StateMachineTask

Task

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Rewriting.Types.Threading.Tasks;4{5    {6        static void Main(string[] args)7        {8            Task task = new Task(() =>9            {10                Console.WriteLine("Hello from task");11            });12            task.Start();13            Console.WriteLine("Hello from main thread");14            task.Wait();15        }16    }17}

Task

Using AI Code Generation

1{2    public static void Main()3    {4        var task = Task.Run(() => { });5        task.Wait();6    }7}8{9    public static void Main()10    {11        var task = Task.Run(() => { });12        task.Wait();13    }14}

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.