Adding connection to symblic presentation, with relevant optimzations #246
ShiriMoranAnnotations
7 errors and 1 warning
|
golangci-lint:
pkg/symbolicexpr/symbolicPath.go#L21
underef: could simplify (*path).Conn to path.Conn (gocritic)
|
|
golangci-lint:
pkg/symbolicexpr/symbolicPath.go#L22
underef: could simplify (*path).Dst to path.Dst (gocritic)
|
|
golangci-lint:
pkg/symbolicexpr/conjunction.go#L78
func `(*Conjunction).implies` is unused (unused)
|
|
golangci-lint:
pkg/symbolicexpr/symbolicexpr_test.go#L112
unnecessary trailing newline (whitespace)
|
|
golangci-lint:
pkg/symbolicexpr/symbolicexpr_test.go#L138
unnecessary trailing newline (whitespace)
|
|
golangci-lint:
pkg/symbolicexpr/symbolicexpr_test.go#L161
unnecessary trailing newline (whitespace)
|
|
golangci-lint
issues found
|
|
golangci-lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|