cmp — validation proof

Go’s own cmp test suite, converted to C# by go2cs, built against the converted standard library, run under the Go-semantics test host, and compared verdict for verdict against a clean go test -json baseline of the same sources. This page is generated by the converter from that comparison — it is the evidence behind the cmp row in Validated Test Packages.

Validated 2026-08-04 · converter f6e9c0cf0

4 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package src/core/cmp.

Verdicts

Test go test go2cs
TestCompare pass pass
TestLess pass pass
TestOr pass pass
TestSort pass pass

Excluded declarations

Declarations filtered from both sides of the comparison, and therefore not claimed above: Benchmark, Fuzz and Example declarations the converted host does not execute, plus any test requiring a capability the managed runtime does not provide — a testing member the host has not implemented, or a platform behavior it provably cannot reproduce. Each is named with the capability it needs.