Microsoft.Coyote.Web namespace

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