From 7308fa66e4f165a2e67392b7f246636e9a079bb8 Mon Sep 17 00:00:00 2001 From: Mark Malstrom Date: Tue, 16 Jun 2026 14:21:48 -0500 Subject: [PATCH] fix: multi-source []string Source in protocol verify test MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PR #49 was authored against a stale local main and merged before the build matrix finished, breaking main: origin/main had already refactored VerifyConfig.Source to []string (multi-source), so the protocol regression's `Source: "go"` no longer type-checks (go vet/test fail to compile internal/engine). Use `Source: []string{"go"}` to match the current API. Behavior unchanged — TestVerifyProtocolScenarioJoins still asserts the protocol scenario joins (no dangling), passes, and locks. --- internal/engine/verify_run_test.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/internal/engine/verify_run_test.go b/internal/engine/verify_run_test.go index 6ff0f4c693..40919df12e 100644 --- a/internal/engine/verify_run_test.go +++ b/internal/engine/verify_run_test.go @@ -186,7 +186,7 @@ func TestVerifyProtocolScenarioJoins(t *testing.T) { writeSpecFile(t, root, "go/troved_test.go", protocolSource) writeSpecFile(t, root, "go/report.gotest.json", protocolReport) - cfg := VerifyConfig{Format: "gotest", Report: "go/report.gotest.json", Source: "go"} + cfg := VerifyConfig{Format: "gotest", Report: "go/report.gotest.json", Source: []string{"go"}} v, locked, err := Verify(root, "go", cfg) if err != nil { t.Fatal(err)