{
  "repository": "hashicorp/terraform",
  "ref": "6e64dc156d071226c602b06b0aae6795586be1f8",
  "methods": [
    {
      "slug": "formal",
      "title": "Formal verification and model checking"
    },
    {
      "slug": "static_analysis",
      "title": "Static analysis"
    },
    {
      "slug": "testing",
      "title": "Testing"
    },
    {
      "slug": "formatting",
      "title": "Formatting and hygiene"
    },
    {
      "slug": "supply_chain",
      "title": "Supply chain"
    },
    {
      "slug": "unclassified",
      "title": "Unclassified"
    }
  ],
  "verifications": [
    {
      "tool": "go-vet",
      "method": "static_analysis",
      "commands": [
        "go vet ./..."
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.consistency-checks.steps[5] (Code consistency checks)"
        },
        {
          "path": "Makefile",
          "locator": "target vetcheck (line 26)"
        }
      ],
      "upstream": "https://github.com/golang/go",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "go-test",
      "method": "testing",
      "commands": [
        "go test -race -timeout=30m -v ./tfexec/internal/e2etest",
        "go test -cover ./...)",
        "go test -race ./internal/terraform ./internal/command ./internal/states ./internal/promising ./internal/stacks/...",
        "go test -v ./internal/command/e2etest"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.e2e-test-exec.steps[3] (Run terraform-exec end-to-end tests)"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.unit-tests.steps[3] (Unit tests)"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.race-tests.steps[3] (Race detector)"
        },
        {
          "path": ".github/workflows/checks.yml",
          "locator": "jobs.e2e-tests.steps[3] (End-to-end tests)"
        }
      ],
      "upstream": "https://github.com/golang/go",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bash ./internal/command/e2etest/make-archive.sh"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.e2etest-build.steps[3] (Build test harness package)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "e2etest.exe -test.v"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.e2e-test.steps[6] (Run E2E Tests (Windows))"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "unzip $EXPR/terraform-e2etest_$EXPR_$EXPR.zip"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.e2e-test.steps[3] (Extract packages)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}