# This test is intended to verify that "go list" accepts coverage related
# build arguments (such as -cover, -covermode). See issue #57785.

[short] skip
[!GOEXPERIMENT:coverageredesign] skip

env GOBIN=$WORK/bin

# Install a target and then do an ordinary staleness check on it.
go install m/example
! stale m/example

# Run a second staleness check with "-cover" as a build flag. The
# installed target should indeed be stale, since we didn't build it
# with -cover.
stale -cover m/example

# Collect build ID from for m/example built with -cover.
go list -cover -export -f '{{.BuildID}}' m/example
cp stdout $WORK/listbuildid.txt

# Now build the m/example binary with coverage.
go build -cover -o $WORK/m.exe m/example

# Ask for the binary build ID by running "go tool buildid".
go tool buildid $WORK/m.exe
cp stdout $WORK/rawtoolbuildid.txt

# Make sure that the two build IDs agree with respect to the
# m/example package. Build IDs from binaries are of the form X/Y/Z/W
# where Y/Z is the package build ID; running the program below will
# pick out the parts of the ID that we want.
env GOCOVERDIR=$WORK
exec $WORK/m.exe $WORK/rawtoolbuildid.txt
cp stdout $WORK/toolbuildid.txt

# Build IDs should match here.
cmp $WORK/toolbuildid.txt $WORK/listbuildid.txt

# Make sure that the build succeeds regardless of covermode.
go list -export -covermode=atomic m/example
go list -export -covermode=count m/example

-- go.mod --
module m

go 1.20
-- example/main.go --
package main

import (
	"fmt"
	"os"
	"strings"
)

func main() {
	println(os.Args[1])
	content, err := os.ReadFile(os.Args[1])
	if err != nil {
		os.Exit(1)
	}
	fields := strings.Split(strings.TrimSpace(string(content)), "/")
	if len(fields) != 4 {
		os.Exit(2)
	}
	fmt.Println(fields[1] + "/" + fields[2])
}