debug/elf — validation proof

Go’s own debug/elf 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 debug/elf row in Validated Test Packages.

Validated 2026-08-25 · converter a338d351d

31 matched · 0 disclosed — Go 1.23.12, windows/amd64, converted package src/core/debug/elf.

Both runtimes skip 1 of the matched tests identically.

Verdicts

Test go test go2cs
TestCompressedDWARF pass pass
TestCompressedSection pass pass
TestDWARFRelocations pass pass
TestDWARFRelocations/testdata/gcc-amd64-openbsd-debug-with-rela.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-clang-arm.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-clang-x86.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc424-x86-64.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc441-x86-64.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc441-x86.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc482-aarch64.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc482-ppc64le.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc492-arm.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc492-mips64.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc492-mipsle.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc493-mips64le.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc5-ppc.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc531-s390x.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc540-mips.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc620-sparc64.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc720-riscv64.obj pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc930-ranges-no-rela-x86-64 pass pass
TestDWARFRelocations/testdata/go-relocation-test-gcc930-ranges-with-rela-x86-64 pass pass
TestDynValue pass pass
TestIssue10996 pass pass
TestIssue59208 pass pass
TestLargeNumberOfSections pass pass
TestNames pass pass
TestNoSectionOverlaps skip skip
TestNobitsSection pass pass
TestOpen pass pass
TestSymbols 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.