math — validation proof
Go’s own math 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 row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
76 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/math.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAbs |
pass | pass |
TestAcos |
pass | pass |
TestAcosh |
pass | pass |
TestAsin |
pass | pass |
TestAsinh |
pass | pass |
TestAtan |
pass | pass |
TestAtan2 |
pass | pass |
TestAtanh |
pass | pass |
TestCbrt |
pass | pass |
TestCeil |
pass | pass |
TestCopysign |
pass | pass |
TestCos |
pass | pass |
TestCosh |
pass | pass |
TestDim |
pass | pass |
TestErf |
pass | pass |
TestErfc |
pass | pass |
TestErfcinv |
pass | pass |
TestErfinv |
pass | pass |
TestExp |
pass | pass |
TestExp2 |
pass | pass |
TestExpm1 |
pass | pass |
TestFMA |
pass | pass |
TestFMANegativeArgs |
pass | pass |
TestFloat32Sqrt |
pass | pass |
TestFloatMinMax |
pass | pass |
TestFloatMinima |
pass | pass |
TestFloor |
pass | pass |
TestFrexp |
pass | pass |
TestGamma |
pass | pass |
TestHugeCos |
pass | pass |
TestHugeSin |
pass | pass |
TestHugeSinCos |
pass | pass |
TestHugeTan |
pass | pass |
TestHypot |
pass | pass |
TestHypotGo |
pass | pass |
TestIlogb |
pass | pass |
TestJ0 |
pass | pass |
TestJ1 |
pass | pass |
TestJn |
pass | pass |
TestLargeCos |
pass | pass |
TestLargeSin |
pass | pass |
TestLargeSincos |
pass | pass |
TestLargeTan |
pass | pass |
TestLdexp |
pass | pass |
TestLgamma |
pass | pass |
TestLog |
pass | pass |
TestLog10 |
pass | pass |
TestLog1p |
pass | pass |
TestLog2 |
pass | pass |
TestLogb |
pass | pass |
TestMax |
pass | pass |
TestMaxInt |
pass | pass |
TestMaxUint |
pass | pass |
TestMin |
pass | pass |
TestMod |
pass | pass |
TestModf |
pass | pass |
TestNaN |
pass | pass |
TestNextafter32 |
pass | pass |
TestNextafter64 |
pass | pass |
TestPow |
pass | pass |
TestPow10 |
pass | pass |
TestRemainder |
pass | pass |
TestRound |
pass | pass |
TestRoundToEven |
pass | pass |
TestSignbit |
pass | pass |
TestSin |
pass | pass |
TestSincos |
pass | pass |
TestSinh |
pass | pass |
TestSqrt |
pass | pass |
TestTan |
pass | pass |
TestTanh |
pass | pass |
TestTrigReduce |
pass | pass |
TestTrunc |
pass | pass |
TestY0 |
pass | pass |
TestY1 |
pass | pass |
TestYn |
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.
- BenchmarkAbs (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAcos (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAcosh (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAsin (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAsinh (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtan (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtan2 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAtanh (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCbrt (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCeil (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCopysign (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCos (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCosh (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDim (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkErf (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkErfc (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkErfcinv (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkErfinv (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkExp (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkExp2 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkExp2Go (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkExpGo (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkExpm1 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFMA (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloat32bits (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloat32frombits (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloat64bits (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloat64frombits (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFloor (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFrexp (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkGamma (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHypot (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHypotGo (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkIlogb (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkJ0 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkJ1 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkJn (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLdexp (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLgamma (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLog (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLog10 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLog1p (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLog2 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLogb (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMax (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMin (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMod (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkModf (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNextafter32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNextafter64 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPow10Neg (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPow10Pos (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPowFrac (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPowInt (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRemainder (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRound (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRoundToEven (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSignbit (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSin (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSincos (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSinh (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSqrtGoLatency (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSqrtIndirect (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSqrtIndirectLatency (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSqrtLatency (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSqrtPrime (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTan (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTanh (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkTrunc (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkY0 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkY1 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkYn (benchmark): benchmark execution is deferred to Phase 4D
- ExampleAbs (example): example execution is deferred to Phase 4D
- ExampleAcos (example): example execution is deferred to Phase 4D
- ExampleAcosh (example): example execution is deferred to Phase 4D
- ExampleAsin (example): example execution is deferred to Phase 4D
- ExampleAsinh (example): example execution is deferred to Phase 4D
- ExampleAtan (example): example execution is deferred to Phase 4D
- ExampleAtan2 (example): example execution is deferred to Phase 4D
- ExampleAtanh (example): example execution is deferred to Phase 4D
- ExampleCbrt (example): example execution is deferred to Phase 4D
- ExampleCeil (example): example execution is deferred to Phase 4D
- ExampleCopysign (example): example execution is deferred to Phase 4D
- ExampleCos (example): example execution is deferred to Phase 4D
- ExampleCosh (example): example execution is deferred to Phase 4D
- ExampleDim (example): example execution is deferred to Phase 4D
- ExampleExp (example): example execution is deferred to Phase 4D
- ExampleExp2 (example): example execution is deferred to Phase 4D
- ExampleExpm1 (example): example execution is deferred to Phase 4D
- ExampleFloor (example): example execution is deferred to Phase 4D
- ExampleLog (example): example execution is deferred to Phase 4D
- ExampleLog10 (example): example execution is deferred to Phase 4D
- ExampleLog2 (example): example execution is deferred to Phase 4D
- ExampleMod (example): example execution is deferred to Phase 4D
- ExampleModf (example): example execution is deferred to Phase 4D
- ExamplePow (example): example execution is deferred to Phase 4D
- ExamplePow10 (example): example execution is deferred to Phase 4D
- ExampleRemainder (example): example execution is deferred to Phase 4D
- ExampleRound (example): example execution is deferred to Phase 4D
- ExampleRoundToEven (example): example execution is deferred to Phase 4D
- ExampleSin (example): example execution is deferred to Phase 4D
- ExampleSincos (example): example execution is deferred to Phase 4D
- ExampleSinh (example): example execution is deferred to Phase 4D
- ExampleSqrt (example): example execution is deferred to Phase 4D
- ExampleTan (example): example execution is deferred to Phase 4D
- ExampleTanh (example): example execution is deferred to Phase 4D
- ExampleTrunc (example): example execution is deferred to Phase 4D