math/rand — validation proof
Go’s own math/rand 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 row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
43 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/math/rand.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAuto |
pass | pass |
TestConcurrent |
pass | pass |
TestDefaultRace |
pass | pass |
TestDefaultRace/0 |
pass | pass |
TestDefaultRace/1 |
pass | pass |
TestDefaultRace/2 |
pass | pass |
TestDefaultRace/3 |
pass | pass |
TestDefaultRace/4 |
pass | pass |
TestDefaultRace/5 |
pass | pass |
TestExpTables |
pass | pass |
TestFloat32 |
pass | pass |
TestNonStandardExponentialValues |
pass | pass |
TestNonStandardNormalValues |
pass | pass |
TestNormTables |
pass | pass |
TestReadByOneByte |
pass | pass |
TestReadEmpty |
pass | pass |
TestReadSeedReset |
pass | pass |
TestReadUniformity |
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/Int31n |
pass | pass |
TestUniformFactorial/n=3/Perm |
pass | pass |
TestUniformFactorial/n=3/Shuffle |
pass | pass |
TestUniformFactorial/n=3/int31n |
pass | pass |
TestUniformFactorial/n=4 |
pass | pass |
TestUniformFactorial/n=4/Int31n |
pass | pass |
TestUniformFactorial/n=4/Perm |
pass | pass |
TestUniformFactorial/n=4/Shuffle |
pass | pass |
TestUniformFactorial/n=4/int31n |
pass | pass |
TestUniformFactorial/n=5 |
pass | pass |
TestUniformFactorial/n=5/Int31n |
pass | pass |
TestUniformFactorial/n=5/Perm |
pass | pass |
TestUniformFactorial/n=5/Shuffle |
pass | pass |
TestUniformFactorial/n=5/int31n |
pass | pass |
TestUniformFactorial/n=6 |
pass | pass |
TestUniformFactorial/n=6/Int31n |
pass | pass |
TestUniformFactorial/n=6/Perm |
pass | pass |
TestUniformFactorial/n=6/Shuffle |
pass | pass |
TestUniformFactorial/n=6/int31n |
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.
- BenchmarkConcurrent (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
- BenchmarkInt31n1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt63Threadsafe (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt63ThreadsafeParallel (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt63Unthreadsafe (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInt63n1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkIntn1000 (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
- BenchmarkRead1000 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRead3 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRead64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkShuffleOverhead (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
- 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