image/png — validation proof
Go’s own image/png 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 image/png row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
28 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/image/png.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestDecodePalettedWithTransparency |
pass | pass |
TestDimensionOverflow |
pass | pass |
TestGray8Transparent |
pass | pass |
TestIncompleteIDATOnRowBoundary |
pass | pass |
TestInterlaced |
pass | pass |
TestMultipletRNSChunks |
pass | pass |
TestPaeth |
pass | pass |
TestPaethDecode |
pass | pass |
TestPaletted8OutOfRangePixel |
pass | pass |
TestPalettedDecodeConfig |
pass | pass |
TestReader |
pass | pass |
TestReaderError |
pass | pass |
TestSubImage |
pass | pass |
TestTrailingIDATChunks |
pass | pass |
TestUnknownChunkLengthUnderflow |
pass | pass |
TestWriteRGBA |
pass | pass |
TestWriteRGBA/50/50_Transparent/Opaque_RGBA |
pass | pass |
TestWriteRGBA/Opaque_RGBA |
pass | pass |
TestWriteRGBA/RGBA_with_variable_alpha |
pass | pass |
TestWriteRGBA/Transparent_RGBA |
pass | pass |
TestWriter |
pass | pass |
TestWriterLevels |
pass | pass |
TestWriterPaletted |
pass | pass |
TestWriterPaletted/plen-128 |
pass | pass |
TestWriterPaletted/plen-16 |
pass | pass |
TestWriterPaletted/plen-2 |
pass | pass |
TestWriterPaletted/plen-256 |
pass | pass |
TestWriterPaletted/plen-4 |
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.
- BenchmarkDecodeGray (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodeInterlacing (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodeNRGBAGradient (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodeNRGBAOpaque (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodePaletted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodeRGB (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeGray (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeGrayWithBufferPool (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeNRGBA (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeNRGBOpaque (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodePaletted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeRGBA (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeRGBOpaque (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPaeth (benchmark): benchmark execution is deferred to Phase 4D
- ExampleDecode (example): example execution is deferred to Phase 4D
- ExampleEncode (example): example execution is deferred to Phase 4D
- FuzzDecode (fuzz): fuzz execution is deferred to Phase 4D