math/rand/v2 — validation proof
Go’s own math/rand/v2 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 math/rand/v2 row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
36 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/math/rand/v2.
Both runtimes skip 1 of the matched tests identically.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAuto |
pass | pass |
TestChaCha8 |
pass | pass |
TestChaCha8Marshal |
pass | pass |
TestChaCha8MarshalRead |
pass | pass |
TestChaCha8Read |
pass | pass |
TestConcurrent |
pass | pass |
TestExpTables |
pass | pass |
TestFloat32 |
pass | pass |
TestN |
pass | pass |
TestNonStandardExponentialValues |
pass | pass |
TestNonStandardNormalValues |
pass | pass |
TestNormTables |
pass | pass |
TestPCG |
pass | pass |
TestPCGMarshal |
pass | pass |
TestRegress |
pass | pass |
TestShuffleSmall |
pass | pass |
TestStandardExponentialValues |
pass | pass |
TestStandardNormalValues |
pass | pass |
TestUniformFactorial |
pass | pass |
TestUniformFactorial/n=3 |
pass | pass |
TestUniformFactorial/n=3/Int32N |
pass | pass |
TestUniformFactorial/n=3/Perm |
pass | pass |
TestUniformFactorial/n=3/Shuffle |
pass | pass |
TestUniformFactorial/n=4 |
pass | pass |
TestUniformFactorial/n=4/Int32N |
pass | pass |
TestUniformFactorial/n=4/Perm |
pass | pass |
TestUniformFactorial/n=4/Shuffle |
pass | pass |
TestUniformFactorial/n=5 |
pass | pass |
TestUniformFactorial/n=5/Int32N |
pass | pass |
TestUniformFactorial/n=5/Perm |
pass | pass |
TestUniformFactorial/n=5/Shuffle |
pass | pass |
TestUniformFactorial/n=6 |
pass | pass |
TestUniformFactorial/n=6/Int32N |
pass | pass |
TestUniformFactorial/n=6/Perm |
pass | pass |
TestUniformFactorial/n=6/Shuffle |
pass | pass |
TestUpdateExample |
skip | skip |
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.
- BenchmarkChaCha8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkChaCha8Read (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkConcurrent (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkExpFloat64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloat32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloat64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkGlobalInt64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkGlobalInt64Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkGlobalIntN1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkGlobalUint64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkGlobalUint64Parallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt32N1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt32N1e8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt32N1e9 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt32N2e9 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N1e18 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N1e8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N1e9 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N2e18 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N2e9 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt64N4e18 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkIntN1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNormFloat64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPCG_DXSM (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPerm3 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPerm30 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPerm30ViaShuffle (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkShuffleOverhead (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSourceUint64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkUint64 (benchmark): benchmark execution is deferred to Phase 4D
- Example (example): example execution is deferred to Phase 4D
- ExampleIntN (example): example execution is deferred to Phase 4D
- ExampleN (example): example execution is deferred to Phase 4D
- ExamplePerm (example): example execution is deferred to Phase 4D
- ExampleShuffle (example): example execution is deferred to Phase 4D
- ExampleShuffle_slicesInUnison (example): example execution is deferred to Phase 4D
- Example_rand (example): example execution is deferred to Phase 4D