compress/flate — validation proof
Go’s own compress/flate 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 compress/flate row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
64 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/compress/flate.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestBestSpeed |
pass | pass |
TestBestSpeedMatch |
pass | pass |
TestBestSpeedMaxMatchOffset |
pass | pass |
TestBestSpeedShiftOffsets |
pass | pass |
TestBlockHuff |
pass | pass |
TestBulkHash4 |
pass | pass |
TestDeflate |
pass | pass |
TestDeflateFast_Reset |
pass | pass |
TestDeflateInflate |
pass | pass |
TestDeflateInflateString |
pass | pass |
TestDeterministic |
pass | pass |
TestDeterministic/L0 |
pass | pass |
TestDeterministic/L1 |
pass | pass |
TestDeterministic/L2 |
pass | pass |
TestDeterministic/L3 |
pass | pass |
TestDeterministic/L4 |
pass | pass |
TestDeterministic/L5 |
pass | pass |
TestDeterministic/L6 |
pass | pass |
TestDeterministic/L7 |
pass | pass |
TestDeterministic/L8 |
pass | pass |
TestDeterministic/L9 |
pass | pass |
TestDeterministic/LM2 |
pass | pass |
TestDictDecoder |
pass | pass |
TestInvalidBits |
pass | pass |
TestInvalidEncoding |
pass | pass |
TestIssue5915 |
pass | pass |
TestIssue5962 |
pass | pass |
TestIssue6255 |
pass | pass |
TestMaxStackSize |
pass | pass |
TestNlitOutOfRange |
pass | pass |
TestReaderDict |
pass | pass |
TestReaderEarlyEOF |
pass | pass |
TestReaderReusesReaderBuffer |
pass | pass |
TestReaderReusesReaderBuffer/BufferIsCreatedAfterByteReader |
pass | pass |
TestReaderReusesReaderBuffer/BufferIsNotReusedWhenGotByteReader |
pass | pass |
TestReaderReusesReaderBuffer/BufferIsReused |
pass | pass |
TestReaderTruncated |
pass | pass |
TestRegression2508 |
pass | pass |
TestReset |
pass | pass |
TestResetDict |
pass | pass |
TestReverseBits |
pass | pass |
TestStreams |
pass | pass |
TestTruncatedStreams |
pass | pass |
TestVeryLongSparseChunk |
pass | pass |
TestWriteBlock |
pass | pass |
TestWriteBlockDynamic |
pass | pass |
TestWriteError |
pass | pass |
TestWriterClose |
pass | pass |
TestWriterDict |
pass | pass |
TestWriterPersistentCloseError |
pass | pass |
TestWriterPersistentFlushError |
pass | pass |
TestWriterPersistentWriteError |
pass | pass |
TestWriterReset |
pass | pass |
TestWriterReset/0 |
pass | pass |
TestWriterReset/1 |
pass | pass |
TestWriterReset/2 |
pass | pass |
TestWriterReset/5 |
pass | pass |
TestWriterReset/9 |
pass | pass |
TestWriterReset/dict |
pass | pass |
TestWriterReset/dict/0 |
pass | pass |
TestWriterReset/dict/1 |
pass | pass |
TestWriterReset/dict/2 |
pass | pass |
TestWriterReset/dict/5 |
pass | pass |
TestWriterReset/dict/9 |
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.
- BenchmarkDecode (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncode (benchmark): benchmark execution is deferred to Phase 4D
- Example_dictionary (example): example execution is deferred to Phase 4D
- Example_reset (example): example execution is deferred to Phase 4D
- Example_synchronization (example): example execution is deferred to Phase 4D