sync/atomic — validation proof
Go’s own sync/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 sync/atomic row in
Validated Test Packages.
Validated 2026-08-25 · converter a338d351d
108 matched · 0 disclosed — Go 1.23.12, windows/amd64, converted package
src/core/sync/atomic.
Both runtimes skip 1 of the matched tests identically.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAddInt32 |
pass | pass |
TestAddInt32Method |
pass | pass |
TestAddInt64 |
pass | pass |
TestAddInt64Method |
pass | pass |
TestAddUint32 |
pass | pass |
TestAddUint32Method |
pass | pass |
TestAddUint64 |
pass | pass |
TestAddUint64Method |
pass | pass |
TestAddUintptr |
pass | pass |
TestAddUintptrMethod |
pass | pass |
TestAndInt32 |
pass | pass |
TestAndInt32Method |
pass | pass |
TestAndInt64 |
pass | pass |
TestAndInt64Method |
pass | pass |
TestAndUint32 |
pass | pass |
TestAndUint32Method |
pass | pass |
TestAndUint64 |
pass | pass |
TestAndUint64Method |
pass | pass |
TestAndUintptr |
pass | pass |
TestAndUintptrMethod |
pass | pass |
TestAutoAligned64 |
pass | pass |
TestCompareAndSwapInt32 |
pass | pass |
TestCompareAndSwapInt32Method |
pass | pass |
TestCompareAndSwapInt64 |
pass | pass |
TestCompareAndSwapInt64Method |
pass | pass |
TestCompareAndSwapPointer |
pass | pass |
TestCompareAndSwapPointerMethod |
pass | pass |
TestCompareAndSwapUint32 |
pass | pass |
TestCompareAndSwapUint32Method |
pass | pass |
TestCompareAndSwapUint64 |
pass | pass |
TestCompareAndSwapUint64Method |
pass | pass |
TestCompareAndSwapUintptr |
pass | pass |
TestCompareAndSwapUintptrMethod |
pass | pass |
TestHammer32 |
pass | pass |
TestHammer64 |
pass | pass |
TestHammerStoreLoad |
pass | pass |
TestLoadInt32 |
pass | pass |
TestLoadInt32Method |
pass | pass |
TestLoadInt64 |
pass | pass |
TestLoadInt64Method |
pass | pass |
TestLoadPointer |
pass | pass |
TestLoadPointerMethod |
pass | pass |
TestLoadUint32 |
pass | pass |
TestLoadUint32Method |
pass | pass |
TestLoadUint64 |
pass | pass |
TestLoadUint64Method |
pass | pass |
TestLoadUintptr |
pass | pass |
TestLoadUintptrMethod |
pass | pass |
TestNilDeref |
pass | pass |
TestOrInt32 |
pass | pass |
TestOrInt32Method |
pass | pass |
TestOrInt64 |
pass | pass |
TestOrInt64Method |
pass | pass |
TestOrUint32 |
pass | pass |
TestOrUint32Method |
pass | pass |
TestOrUint64 |
pass | pass |
TestOrUint64Method |
pass | pass |
TestOrUintptr |
pass | pass |
TestOrUintptrMethod |
pass | pass |
TestStoreInt32 |
pass | pass |
TestStoreInt32Method |
pass | pass |
TestStoreInt64 |
pass | pass |
TestStoreInt64Method |
pass | pass |
TestStoreLoadRelAcq32 |
pass | pass |
TestStoreLoadRelAcq64 |
pass | pass |
TestStoreLoadSeqCst32 |
pass | pass |
TestStoreLoadSeqCst64 |
pass | pass |
TestStorePointer |
pass | pass |
TestStorePointerMethod |
pass | pass |
TestStoreUint32 |
pass | pass |
TestStoreUint32Method |
pass | pass |
TestStoreUint64 |
pass | pass |
TestStoreUint64Method |
pass | pass |
TestStoreUintptr |
pass | pass |
TestStoreUintptrMethod |
pass | pass |
TestSwapInt32 |
pass | pass |
TestSwapInt32Method |
pass | pass |
TestSwapInt64 |
pass | pass |
TestSwapInt64Method |
pass | pass |
TestSwapPointer |
pass | pass |
TestSwapPointerMethod |
pass | pass |
TestSwapUint32 |
pass | pass |
TestSwapUint32Method |
pass | pass |
TestSwapUint64 |
pass | pass |
TestSwapUint64Method |
pass | pass |
TestSwapUintptr |
pass | pass |
TestSwapUintptrMethod |
pass | pass |
TestUnaligned64 |
skip | skip |
TestValue |
pass | pass |
TestValueCompareAndSwapConcurrent |
pass | pass |
TestValueConcurrent |
pass | pass |
TestValueLarge |
pass | pass |
TestValuePanic |
pass | pass |
TestValueSwapConcurrent |
pass | pass |
TestValue_CompareAndSwap |
pass | pass |
TestValue_CompareAndSwap/0 |
pass | pass |
TestValue_CompareAndSwap/1 |
pass | pass |
TestValue_CompareAndSwap/2 |
pass | pass |
TestValue_CompareAndSwap/3 |
pass | pass |
TestValue_CompareAndSwap/4 |
pass | pass |
TestValue_CompareAndSwap/5 |
pass | pass |
TestValue_CompareAndSwap/6 |
pass | pass |
TestValue_CompareAndSwap/7 |
pass | pass |
TestValue_Swap |
pass | pass |
TestValue_Swap/0 |
pass | pass |
TestValue_Swap/1 |
pass | pass |
TestValue_Swap/2 |
pass | pass |
TestValue_Swap/3 |
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.
- BenchmarkValueRead (benchmark): benchmark execution is deferred to Phase 4D
- ExampleValue_config (example): example execution is deferred to Phase 4D
- ExampleValue_readMostly (example): example execution is deferred to Phase 4D