coyote/.config/dotnet-tools.json

{
  "version": 1,
  "isRoot": true,
  "tools": {
    "dotnet-counters": {
      "version": "8.0.510501",
      "commands": [
        "dotnet-counters"
      ]
    },
    "dotnet-dump": {
      "version": "8.0.510501",
      "commands": [
        "dotnet-dump"
      ]
    },
    "dotnet-ilverify": {
      "version": "8.0.0",
      "commands": [
        "ilverify"
      ]
    },
    "microsoft.coyote.cli": {
      "version": "1.7.11",
      "commands": [
        "coyote"
      ]
    }
  }
}