internal/concurrent — validation proof
Go’s own internal/concurrent 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 internal/concurrent row in
Validated Test Packages.
Validated 2026-08-30 · converter f8a20a255
20 matched · 0 disclosed — Go 1.23.12, windows/amd64, converted package
src/core/internal/concurrent.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestHashTrieMap |
pass | pass |
TestHashTrieMap/All |
pass | pass |
TestHashTrieMap/AllDelete |
pass | pass |
TestHashTrieMap/CompareAndDeleteAll |
pass | pass |
TestHashTrieMap/CompareAndDeleteOne |
pass | pass |
TestHashTrieMap/ConcurrentDeleteSharedKeys |
pass | pass |
TestHashTrieMap/ConcurrentLifecycleUnsharedKeys |
pass | pass |
TestHashTrieMap/DeleteMultiple |
pass | pass |
TestHashTrieMap/LoadEmpty |
pass | pass |
TestHashTrieMap/LoadOrStore |
pass | pass |
TestHashTrieMapBadHash |
pass | pass |
TestHashTrieMapBadHash/All |
pass | pass |
TestHashTrieMapBadHash/AllDelete |
pass | pass |
TestHashTrieMapBadHash/CompareAndDeleteAll |
pass | pass |
TestHashTrieMapBadHash/CompareAndDeleteOne |
pass | pass |
TestHashTrieMapBadHash/ConcurrentDeleteSharedKeys |
pass | pass |
TestHashTrieMapBadHash/ConcurrentLifecycleUnsharedKeys |
pass | pass |
TestHashTrieMapBadHash/DeleteMultiple |
pass | pass |
TestHashTrieMapBadHash/LoadEmpty |
pass | pass |
TestHashTrieMapBadHash/LoadOrStore |
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.
- BenchmarkHashTrieMapLoad (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadLarge (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadOrStore (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadOrStoreLarge (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadSmall (benchmark): benchmark execution is deferred to Phase 4D