math/bits — validation proof
Go’s own math/bits 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/bits row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
26 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/math/bits.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAdd64OverflowPanic |
pass | pass |
TestAddSubUint |
pass | pass |
TestAddSubUint32 |
pass | pass |
TestAddSubUint64 |
pass | pass |
TestDiv32PanicOverflow |
pass | pass |
TestDiv32PanicZero |
pass | pass |
TestDiv64PanicOverflow |
pass | pass |
TestDiv64PanicZero |
pass | pass |
TestDivPanicOverflow |
pass | pass |
TestDivPanicZero |
pass | pass |
TestLeadingZeros |
pass | pass |
TestLen |
pass | pass |
TestMulDiv |
pass | pass |
TestMulDiv32 |
pass | pass |
TestMulDiv64 |
pass | pass |
TestOnesCount |
pass | pass |
TestRem32 |
pass | pass |
TestRem32Overflow |
pass | pass |
TestRem64 |
pass | pass |
TestRem64Overflow |
pass | pass |
TestReverse |
pass | pass |
TestReverseBytes |
pass | pass |
TestRotateLeft |
pass | pass |
TestSub64OverflowPanic |
pass | pass |
TestTrailingZeros |
pass | pass |
TestUintSize |
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.
- BenchmarkAdd (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAdd32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAdd64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAdd64multiple (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDiv (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDiv32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDiv64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLeadingZeros (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLeadingZeros16 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLeadingZeros32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLeadingZeros64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLeadingZeros8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMul (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMul32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMul64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnesCount (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnesCount16 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnesCount32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnesCount64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnesCount8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverse (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverse16 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverse32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverse64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverse8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverseBytes (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverseBytes16 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverseBytes32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReverseBytes64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRotateLeft (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRotateLeft16 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRotateLeft32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRotateLeft64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRotateLeft8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSub (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSub32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSub64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSub64multiple (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTrailingZeros (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTrailingZeros16 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTrailingZeros32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTrailingZeros64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTrailingZeros8 (benchmark): benchmark execution is deferred to Phase 4D
- ExampleAdd32 (example): example execution is deferred to Phase 4D
- ExampleAdd64 (example): example execution is deferred to Phase 4D
- ExampleDiv32 (example): example execution is deferred to Phase 4D
- ExampleDiv64 (example): example execution is deferred to Phase 4D
- ExampleLeadingZeros16 (example): example execution is deferred to Phase 4D
- ExampleLeadingZeros32 (example): example execution is deferred to Phase 4D
- ExampleLeadingZeros64 (example): example execution is deferred to Phase 4D
- ExampleLeadingZeros8 (example): example execution is deferred to Phase 4D
- ExampleLen16 (example): example execution is deferred to Phase 4D
- ExampleLen32 (example): example execution is deferred to Phase 4D
- ExampleLen64 (example): example execution is deferred to Phase 4D
- ExampleLen8 (example): example execution is deferred to Phase 4D
- ExampleMul32 (example): example execution is deferred to Phase 4D
- ExampleMul64 (example): example execution is deferred to Phase 4D
- ExampleOnesCount (example): example execution is deferred to Phase 4D
- ExampleOnesCount16 (example): example execution is deferred to Phase 4D
- ExampleOnesCount32 (example): example execution is deferred to Phase 4D
- ExampleOnesCount64 (example): example execution is deferred to Phase 4D
- ExampleOnesCount8 (example): example execution is deferred to Phase 4D
- ExampleReverse16 (example): example execution is deferred to Phase 4D
- ExampleReverse32 (example): example execution is deferred to Phase 4D
- ExampleReverse64 (example): example execution is deferred to Phase 4D
- ExampleReverse8 (example): example execution is deferred to Phase 4D
- ExampleReverseBytes16 (example): example execution is deferred to Phase 4D
- ExampleReverseBytes32 (example): example execution is deferred to Phase 4D
- ExampleReverseBytes64 (example): example execution is deferred to Phase 4D
- ExampleRotateLeft16 (example): example execution is deferred to Phase 4D
- ExampleRotateLeft32 (example): example execution is deferred to Phase 4D
- ExampleRotateLeft64 (example): example execution is deferred to Phase 4D
- ExampleRotateLeft8 (example): example execution is deferred to Phase 4D
- ExampleSub32 (example): example execution is deferred to Phase 4D
- ExampleSub64 (example): example execution is deferred to Phase 4D
- ExampleTrailingZeros16 (example): example execution is deferred to Phase 4D
- ExampleTrailingZeros32 (example): example execution is deferred to Phase 4D
- ExampleTrailingZeros64 (example): example execution is deferred to Phase 4D
- ExampleTrailingZeros8 (example): example execution is deferred to Phase 4D