Bump Microsoft.Coyote from 1.4.3 to 1.7.1#157

dependabot[bot] wants to merge 1 commit into

masterquasarke/arke:masterfrom

dependabot/nuget/Microsoft.Coyote-1.7.1quasarke/arke:dependabot/nuget/Microsoft.Coyote-1.7.1Copy head branch name to clipboard