KaneAI - World’s First E2E Software Testing Agent.Signup for Private Beta Join TestMu Conference

How to use WithReproducibleTrace method of Microsoft.Coyote.Configuration class

Best Coyote code snippet using Microsoft.Coyote.Configuration.WithReproducibleTrace

BaseTest.cs

Source:BaseTest.cs

...264                using var engine = RunTestingEngine(test, configuration, logger);265                CheckErrors(engine, errorChecker);266                if (replay && this.SchedulingPolicy is SchedulingPolicy.Interleaving)267                {268                    configuration.WithReproducibleTrace(engine.ReproducibleTrace);269                    using var replayEngine = RunTestingEngine(test, configuration, logger);270                    string replayError = replayEngine.Scheduler.GetLastError();271                    Assert.True(replayError.Length is 0, replayError);272                    CheckErrors(replayEngine, errorChecker);273                }274            }275            catch (Exception ex)276            {277                Assert.False(true, ex.Message + "\n" + ex.StackTrace);278            }279            finally280            {281                logger.Dispose();282            }283        }284        protected void TestWithException<TException>(Action test, Configuration configuration = null, bool replay = false)285            where TException : Exception286        {287            if (this.SchedulingPolicy is SchedulingPolicy.None)288            {289                this.RunTestWithException<TException>(test, configuration);290            }291            else292            {293                this.RunSystematicTestWithException<TException>(test, configuration, replay);294            }295        }296        protected void TestWithException<TException>(Action<IActorRuntime> test, Configuration configuration = null,297            bool replay = false)298            where TException : Exception299        {300            if (this.SchedulingPolicy is SchedulingPolicy.None)301            {302                this.RunTestWithException<TException>(test, configuration);303            }304            else305            {306                this.RunSystematicTestWithException<TException>(test, configuration, replay);307            }308        }309        protected void TestWithException<TException>(Func<Task> test, Configuration configuration = null, bool replay = false)310            where TException : Exception311        {312            if (this.SchedulingPolicy is SchedulingPolicy.None)313            {314                this.RunTestWithExceptionAsync<TException>(test, configuration).Wait();315            }316            else317            {318                this.RunSystematicTestWithException<TException>(test, configuration, replay);319            }320        }321        protected void TestWithException<TException>(Func<IActorRuntime, Task> test, Configuration configuration = null,322            bool replay = false)323            where TException : Exception324        {325            if (this.SchedulingPolicy is SchedulingPolicy.None)326            {327                this.RunTestWithExceptionAsync<TException>(test, configuration).Wait();328            }329            else330            {331                this.RunSystematicTestWithException<TException>(test, configuration, replay);332            }333        }334        private void RunSystematicTestWithException<TException>(Delegate test, Configuration configuration = null, bool replay = false)335            where TException : Exception336        {337            configuration ??= this.GetConfiguration();338            if (this.SchedulingPolicy is SchedulingPolicy.Fuzzing)339            {340                // Increase iterations during fuzzing as some bugs might be harder to be found.341                configuration = configuration.WithTestingIterations(configuration.TestingIterations * 50);342            }343            Type exceptionType = typeof(TException);344            Assert.True(exceptionType.IsSubclassOf(typeof(Exception)), "Please configure the test correctly. " +345                $"Type '{exceptionType}' is not an exception type.");346            var logger = new TestOutputLogger(this.TestOutput);347            try348            {349                using var engine = RunTestingEngine(test, configuration, logger);350                CheckErrors(engine, exceptionType);351                if (replay && this.SchedulingPolicy is SchedulingPolicy.Interleaving)352                {353                    configuration.WithReproducibleTrace(engine.ReproducibleTrace);354                    using var replayEngine = RunTestingEngine(test, configuration, logger);355                    string replayError = replayEngine.Scheduler.GetLastError();356                    Assert.True(replayError.Length is 0, replayError);357                    CheckErrors(replayEngine, exceptionType);358                }359            }360            catch (Exception ex)361            {362                Assert.False(true, ex.Message + "\n" + ex.StackTrace);363            }364            finally365            {366                logger.Dispose();367            }...

Tests.cs

Source:Tests.cs

...154            var config = Configuration.Create().WithTestingIterations(1000);155            if (reproducibleScheduleFilePath != null)156            {157                var trace = File.ReadAllText(reproducibleScheduleFilePath);158                config = config.WithReproducibleTrace(trace);159            }160            var testingEngine = TestingEngine.Create(config, test);161            try162            {163                testingEngine.Run();164                string assertionText = testingEngine.TestReport.GetText(config);165                assertionText +=166                    $"{Environment.NewLine} Random Generator Seed: " +167                    $"{testingEngine.TestReport.Configuration.RandomGeneratorSeed}{Environment.NewLine}";168                foreach (var bugReport in testingEngine.TestReport.BugReports)169                {170                    assertionText +=171                    $"{Environment.NewLine}" +172                    "Bug Report: " + bugReport.ToString(CultureInfo.InvariantCulture);...

Program.cs

Source:Program.cs

...30            string trace = GetTrace(args[1]);31            Debugger.Launch();32            Console.WriteLine($"Starting test...");33            var configuration = Configuration.Create().34                WithReproducibleTrace(trace).35                WithVerbosityEnabled();36            var testingEngine = TestingEngine.Create(configuration, test);37            testingEngine.Run();38            Console.WriteLine($"Done testing. Found {testingEngine.TestReport.NumOfFoundBugs} bugs.");39        }40        private static Func<Task> GetTest(string testName)41        {42            var tests = new UnitTests();43            Func<Task> test = null;44            if (testName is "TestConcurrentAccountRequests")45            {46                test = tests.TestConcurrentAccountRequestsAsync;47            }48            else if (testName is "TestConcurrentAccountAndImageRequests")...

WithReproducibleTrace

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Specifications;6using Microsoft.Coyote.Tasks;7using Microsoft.Coyote.Testing;8using Microsoft.Coyote.TestingServices;9{10    {11        public static void Main(string[] args)12        {13            Configuration configuration = Configuration.Create();14            configuration.WithReproducibleTrace();15            configuration.WithTestingIterations(100);16            configuration.WithRandomSchedulingSeed(0);17            configuration.WithMaxSchedulingSteps(10000);18            configuration.WithMaxInterleavings(10000);19            configuration.WithMaxFairSchedulingSteps(10000);20            configuration.WithMaxUnfairSchedulingSteps(10000);21            configuration.WithMaxStepsFromEntryToExit(10000);22            configuration.WithMaxStepsFromAnyToExit(10000);23            configuration.WithMaxStepsFromAnyToAny(10000);24            configuration.WithMaxStepsFromAnyToEntry(10000);25            configuration.WithMaxStepsFromEntryToAny(10000);26            configuration.WithMaxStepsFromExitToAny(10000);27            configuration.WithMaxStepsFromAnyToAny(10000);28            configuration.WithMaxStepsFromExitToExit(10000);29            configuration.WithMaxStepsFromExitToEntry(10000);30            configuration.WithMaxStepsFromEntryToExit(10000);31            configuration.WithMaxStepsFromEntryToEntry(10000);32            configuration.WithMaxStepsFromAnyToAny(10000);33            configuration.WithMaxStepsFromAnyToEntry(10000);34            configuration.WithMaxStepsFromEntryToAny(10000);35            configuration.WithMaxStepsFromExitToAny(10000);36            configuration.WithMaxStepsFromAnyToAny(10000);37            configuration.WithMaxStepsFromExitToExit(10000);38            configuration.WithMaxStepsFromExitToEntry(10000);39            configuration.WithMaxStepsFromEntryToExit(10000);40            configuration.WithMaxStepsFromEntryToEntry(10000);41            configuration.WithMaxStepsFromAnyToAny(10000);42            configuration.WithMaxStepsFromAnyToEntry(10000);43            configuration.WithMaxStepsFromEntryToAny(10000);44            configuration.WithMaxStepsFromExitToAny(10000);45            configuration.WithMaxStepsFromAnyToAny(10000);46            configuration.WithMaxStepsFromExitToExit(10000

WithReproducibleTrace

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Testing;6using Microsoft.Coyote.Testing.Services;7using Microsoft.Coyote.Testing.Systematic;8{9    {10        static void Main(string[] args)11        {12            var configuration = Configuration.Create().WithReproducibleTrace();13            using (var test = TestingEngineFactory.Create(configuration))14            {15                test.CreateActor(typeof(Monitor));16                test.CreateActor(typeof(Actor1));17                test.CreateActor(typeof(Actor2));18                test.Run();19            }20        }21    }22    {23        [OnEntry(nameof(InitOnEntry))]24        [OnEventDoAction(typeof(Event1), nameof(Event1Action))]25        [OnEventDoAction(typeof(Event2), nameof(Event2Action))]26        class Init : State { }27        private void InitOnEntry(Event e)28        {29            this.SendEvent(this.Id, new Event1());30            this.SendEvent(this.Id, new Event2());31        }32        private void Event1Action(Event e)33        {34            this.Assert(false, "Assertion failed in Event1Action");35        }36        private void Event2Action(Event e)37        {38            this.Assert(false, "Assertion failed in Event2Action");39        }40    }41    {42        [OnEntry(nameof(InitOnEntry))]43        [OnEventDoAction(typeof(Event1), nameof(Event1Action))]44        [OnEventDoAction(typeof(Event2), nameof(Event2Action))]45        class Init : State { }46        private void InitOnEntry(Event e)47        {48            this.SendEvent(this.Id, new Event1());49            this.SendEvent(this.Id, new Event2());50        }51        private void Event1Action(Event e)52        {53            this.Assert(false, "Assertion failed in Event1Action");54        }55        private void Event2Action(Event e)56        {57            this.Assert(false, "Assertion failed in Event2Action");58        }59    }60    {61        [OnEntry(nameof(InitOnEntry))]62        [OnEventDoAction(typeof(Event1), nameof(Event1Action))]63        [OnEventDoAction(typeof(Event2), nameof(Event2Action))]64        class Init : State { }

WithReproducibleTrace

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.SystematicTesting;6using Microsoft.Coyote.Tasks;7{8    {9        static void Main(string[] args)10        {11            Configuration.WithReproducibleTrace(12345);12            Configuration.EnableSystematicTesting();13            Configuration.SchedulingIterations = 1000;14            Configuration.SchedulingSteps = 1000;15            Configuration.MaxAsyncSchedulingSteps = 1000;16            Configuration.MaxConcurrentSchedulingSteps = 1000;17            Configuration.MaxFairSchedulingSteps = 1000;18            Configuration.MaxFairSchedulingSteps = 1000;

WithReproducibleTrace

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.SystematicTesting;6using Microsoft.Coyote.Tasks;7{8    {9        private static void Main(string[] args)10        {11            Configuration configuration = Configuration.Create().WithReproducibleTrace();12            TestRuntime runtime = TestRuntime.Create(configuration);13            runtime.RunTask(MainAsync);14            Console.ReadLine();15        }16        private static async Task MainAsync()17        {18            ActorId id = ActorId.CreateRandom();19            TestRuntime.CreateActor(typeof(MyActor), id);20            TestRuntime.SendEvent(id, new MyEvent());21            MyEvent myEvent = await TestRuntime.ReceiveEventAsync<MyEvent>(id);22            Console.WriteLine(myEvent.Value);23        }24    }25    {26        public int Value { get; set; }27    }28    {29        protected override Task OnInitializeAsync(Event initialEvent)30        {31            TestRuntime.SendEvent(this.Id, new MyEvent { Value = 42 });32            return Task.CompletedTask;33        }34        protected override Task OnEventAsync(Event e)35        {36            if (e is MyEvent myEvent)37            {38                TestRuntime.SendEvent(this.Id, myEvent);39            }40            return Task.CompletedTask;41        }42    }43}44using System;45using System.Threading.Tasks;46using Microsoft.Coyote;47using Microsoft.Coyote.Actors;48using Microsoft.Coyote.SystematicTesting;49using Microsoft.Coyote.Tasks;50{51    {52        private static void Main(string[] args)53        {

WithReproducibleTrace

Using AI Code Generation

1Microsoft.Coyote.Configuration.WithReproducibleTrace();2Microsoft.Coyote.Configuration.WithVerbosity(Microsoft.Coyote.Verbosity.Detailed);3Microsoft.Coyote.Configuration.WithTestingIterations(100);4Microsoft.Coyote.Configuration.WithStrategy(Microsoft.Coyote.Strategies.RandomStrategy());5Microsoft.Coyote.Configuration.WithTestingIterations(100);6Microsoft.Coyote.Configuration.WithRandomExecution();7Microsoft.Coyote.Configuration.WithRandomExecution();8Microsoft.Coyote.Configuration.WithRandomExecution();9Microsoft.Coyote.Configuration.WithRandomExecution();10Microsoft.Coyote.Configuration.WithRandomExecution();11Microsoft.Coyote.Configuration.WithRandomExecution();12Microsoft.Coyote.Configuration.WithRandomExecution();13Microsoft.Coyote.Configuration.WithRandomExecution();14Microsoft.Coyote.Configuration.WithRandomExecution();15Microsoft.Coyote.Configuration.WithRandomExecution();

WithReproducibleTrace

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.SystematicTesting;6using Microsoft.Coyote.Tasks;7{8    {9        public static void Main(string[] args)10        {11            Configuration config = Configuration.Create().WithReproducibleTrace();12            using (var runtime = RuntimeFactory.Create(config))13            {14                runtime.CreateActor(typeof(Actor1));15                runtime.Run();16            }17        }18    }19    {20        protected override async Task OnInitializeAsync(Event initialEvent)21        {22            await this.SendEvent(this.Id, new E());23        }24        protected override async Task OnEventAsync(Event e)25        {26            if (e is E)27            {28                await this.SendEvent(this.Id, new E());29            }30        }31    }32    public class E : Event { }33}34using System;35using System.Threading.Tasks;36using Microsoft.Coyote;37using Microsoft.Coyote.Actors;38using Microsoft.Coyote.SystematicTesting;39using Microsoft.Coyote.Tasks;40{41    {42        public static void Main(string[] args)43        {44            Configuration config = Configuration.Create().WithTestingIterations(1000);45            using (var runtime = RuntimeFactory.Create(config))46            {47                runtime.CreateActor(typeof(Actor1));48                runtime.Run();49            }50        }51    }52    {53        protected override async Task OnInitializeAsync(Event initialEvent)54        {55            await this.SendEvent(this.Id, new E());56        }57        protected override async Task OnEventAsync(Event e)58        {59            if (e is E)60            {61                await this.SendEvent(this.Id, new E());62            }63        }64    }65    public class E : Event { }66}67using System;68using System.Threading.Tasks;69using Microsoft.Coyote;70using Microsoft.Coyote.Actors;

WithReproducibleTrace

Using AI Code Generation

1{2    using System;3    using System.Threading.Tasks;4    using Microsoft.Coyote;5    using Microsoft.Coyote.Actors;6    using Microsoft.Coyote.Testing;7    using Microsoft.Coyote.Testing.Systematic;8    using Microsoft.Coyote.Testing.Coverage;9    using Microsoft.Coyote.Testing.Fuzzing;10    using Microsoft.Coyote.Testing.Fuzzing.Strategies;11    using Microsoft.Coyote.Testing.Fuzzing.Strategies.Default;12    using Microsoft.Coyote.Testing.Logging;13    using Microsoft.Coyote.Testing.Scheduling;14    using Microsoft.Coyote.Testing.Scheduling.Strategies;15    using Microsoft.Coyote.Testing.Scheduling.Strategies.Default;16    using Microsoft.Coyote.Testing.Services;17    using Microsoft.Coyote.Testing.Services.Strategies;18    using Microsoft.Coyote.Testing.Services.Strategies.Default;19    using Microsoft.Coyote.Testing.Timers;20    using Microsoft.Coyote.Testing.Timers.Strategies;21    using Microsoft.Coyote.Testing.Timers.Strategies.Default;22    using Microsoft.Coyote.Testing.Tracing;23    using Microsoft.Coyote.Testing.Verification;24    using Microsoft.Coyote.Tasks;25    using Microsoft.Coyote.Tests.Common;26    using Microsoft.Coyote.Tests.Common.Actors;27    using Microsoft.Coyote.Tests.Common.Events;28    using Microsoft.Coyote.Tests.Common.Tasks;29    using Microsoft.Coyote.Tests.Common.TestingServices;30    using Microsoft.Coyote.Tests.Common.Utilities;31    using Microsoft.Coyote.Tests.Common.Utilities.Async;32    using Microsoft.Coyote.Tests.Common.Utilities.Mocks;33    using Microsoft.Coyote.Tests.Common.Utilities.Systematic;34    using Microsoft.Coyote.Tests.Common.Utilities.Systematic.Strategies;35    using Microsoft.Coyote.Tests.Common.Utilities.Systematic.Timers;36    using Microsoft.Coyote.Tests.Common.Utilities.Verification;37    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Strategies;38    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Timers;39    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Tasks;40    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Tasks.Strategies;41    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Trace;42    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Timers;43    using Microsoft.Coyote.Tests.Common.Utilities.Verification.Timers.Strategies;

WithReproducibleTrace

Using AI Code Generation

1Configuration configuration = Configuration.Create();2configuration.WithReproducibleTrace();3using (var runtime = Runtime.Create(configuration))4{5    runtime.CreateActor(typeof(Actor1));6    runtime.CreateActor(typeof(Actor2));7    runtime.Start();8}9Configuration configuration = Configuration.Create();10configuration.WithReproducibleTrace();11using (var runtime = Runtime.Create(configuration))12{13    runtime.CreateActor(typeof(Actor1));14    runtime.CreateActor(typeof(Actor2));15    runtime.Start();16}17Configuration configuration = Configuration.Create();18configuration.WithReproducibleTrace();19using (var runtime = Runtime.Create(configuration))20{21    runtime.CreateActor(typeof(Actor1));22    runtime.CreateActor(typeof(Actor2));23    runtime.Start();24}25Configuration configuration = Configuration.Create();26configuration.WithReproducibleTrace();27using (var runtime = Runtime.Create(configuration))28{29    runtime.CreateActor(typeof(Actor1));30    runtime.CreateActor(typeof(Actor2));31    runtime.Start();32}33Configuration configuration = Configuration.Create();34configuration.WithReproducibleTrace();35using (var runtime = Runtime.Create(configuration))36{37    runtime.CreateActor(typeof(Actor1));38    runtime.CreateActor(typeof(Actor2));39    runtime.Start();40}41Configuration configuration = Configuration.Create();42configuration.WithReproducibleTrace();43using (var runtime = Runtime.Create(configuration))44{45    runtime.CreateActor(typeof(Actor1));46    runtime.CreateActor(typeof(Actor2));47    runtime.Start();48}49Configuration configuration = Configuration.Create();50configuration.WithReproducibleTrace();51using (var runtime = Runtime.Create(configuration))52{

WithReproducibleTrace

Using AI Code Generation

1using System;2using System.Collections.Generic;3using System.Threading.Tasks;4using Microsoft.Coyote.Runtime;5{6    {7        static async Task Main(string[] args)8        {9            await Task.Run(() => new List<int>().Add(1));10            Console.WriteLine("Hello World!");11        }12    }13}

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.