Microsoft.Coyote.Web namespace

public type description
static class RequestControllerMiddlewareExtensions Middleware for controlling an ASP.NET web application during testing.