internal/runtime/atomic — validation proof
Go’s own internal/runtime/atomic 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/runtime/atomic row in
Validated Test Packages.
Validated 2026-08-27 · converter 5624f984f
15 matched · 0 disclosed — Go 1.23.12, windows/amd64, converted package
src/core/internal/runtime/atomic.
Both runtimes skip 1 of the matched tests identically.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAnd |
pass | pass |
TestAnd32 |
pass | pass |
TestAnd64 |
pass | pass |
TestAnd8 |
pass | pass |
TestBitwiseContended |
pass | pass |
TestBitwiseContended8 |
pass | pass |
TestCasRel |
pass | pass |
TestOr |
pass | pass |
TestOr32 |
pass | pass |
TestOr64 |
pass | pass |
TestOr8 |
pass | pass |
TestStorepNoWB |
pass | pass |
TestUnaligned64 |
skip | skip |
TestXadduintptr |
pass | pass |
TestXadduintptrOnUint64 |
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.
- BenchmarkAnd (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnd32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnd32Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnd64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnd64Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnd8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnd8Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAndParallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtomicLoad (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtomicLoad64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtomicStore (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtomicStore64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCas (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCas64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr32Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr64Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOr8Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOrParallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkXadd (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkXadd64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkXchg (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkXchg64 (benchmark): benchmark execution is deferred to Phase 4D