Overview of Coyote samples

All Coyote samples are available on GitHub. They are organized in two sets of samples.

The first set shows how you can use Coyote to systematically test unmodified C# task-based programs:

• AccountManager: demonstrates how to write a simple task-based C# application to create, get and delete account records in a backend NoSQL database and then systematically test this application using Coyote to find a race condition. Read the accompanying two-parts tutorial available here and here.
• ImageGalleryAspNet: demonstrates how to use Coyote to test an ASP.NET Core service. Read the accompanying tutorial available here.
• Coffee Machine Failover: demonstrates how to systematically test the failover logic in your task-based applications. Read the accompanying tutorial available here.
• BoundedBuffer: demonstrates how to use coyote rewrite to find deadlocks in unmodified C# code. Read more about this sample here.

The second set shows how you can use the more advanced actor programming model of Coyote to build reliable applications and services:

• HelloWorldActors: demonstrates how to write a simple Coyote application using actors, and then run and systematically test it. Read the accompanying tutorial available here.
• CloudMessaging: demonstrates how to write a Coyote application that contains components that communicate with each other using the Azure Service Bus cloud messaging queue. ead the accompanying two-parts tutorial available here and here.
• Timers in Actors: demonstrates how to use the timer API of the Coyote actor programming model.
• Coffee Machine Failover: demonstrates how to systematically test the failover logic in your Coyote actor applications. Read the accompanying tutorial available here.
• Robot Navigator Failover: demonstrates how to systematically test the failover logic in your Coyote actors applications. Read more about this sample here.

Building the samples

Follow the instructions here.