sort — validation proof
Go’s own sort 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 sort row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
63 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/sort.
Both runtimes skip 1 of the matched tests identically.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAdversary |
pass | pass |
TestBreakPatterns |
pass | pass |
TestCountSortOps |
pass | pass |
TestCountStableOps |
pass | pass |
TestFind |
pass | pass |
TestFind/#00 |
pass | pass |
TestFind/aa |
pass | pass |
TestFind/aa#01 |
pass | pass |
TestFind/ab |
pass | pass |
TestFind/ab#01 |
pass | pass |
TestFind/ab#02 |
pass | pass |
TestFind/ac |
pass | pass |
TestFind/ad |
pass | pass |
TestFind/ad#01 |
pass | pass |
TestFind/ax |
pass | pass |
TestFind/bar |
pass | pass |
TestFind/bb |
pass | pass |
TestFind/ca |
pass | pass |
TestFind/ca#01 |
pass | pass |
TestFind/cc |
pass | pass |
TestFind/da |
pass | pass |
TestFind/db |
pass | pass |
TestFind/dd |
pass | pass |
TestFind/foo |
pass | pass |
TestFind/foo#01 |
pass | pass |
TestFind/ma |
pass | pass |
TestFind/mb |
pass | pass |
TestFind/mo |
pass | pass |
TestFind/nb |
pass | pass |
TestFind/qo |
pass | pass |
TestFind/ra |
pass | pass |
TestFind/tr |
pass | pass |
TestFind/vo |
pass | pass |
TestFind/xr |
pass | pass |
TestFind/xx |
pass | pass |
TestFind/xy |
pass | pass |
TestFind/zx |
pass | pass |
TestFind/zz |
pass | pass |
TestFind/zz#01 |
pass | pass |
TestFindExhaustive |
pass | pass |
TestFloat64s |
pass | pass |
TestHeapsortBM |
pass | pass |
TestInts |
pass | pass |
TestNonDeterministicComparison |
pass | pass |
TestReverseRange |
pass | pass |
TestReverseSortIntSlice |
pass | pass |
TestSearch |
pass | pass |
TestSearchEfficiency |
pass | pass |
TestSearchExhaustive |
pass | pass |
TestSearchWrappers |
pass | pass |
TestSearchWrappersDontAlloc |
skip | skip |
TestSlice |
pass | pass |
TestSortBM |
pass | pass |
TestSortFloat64Slice |
pass | pass |
TestSortFloat64sCompareSlicesSort |
pass | pass |
TestSortIntSlice |
pass | pass |
TestSortLarge_Random |
pass | pass |
TestSortStringSlice |
pass | pass |
TestStability |
pass | pass |
TestStableBM |
pass | pass |
TestStableInts |
pass | pass |
TestStrings |
pass | pass |
TestStructSorts |
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.
- BenchmarkSearchWrappers (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSlicesIsSorted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSlicesSortInts (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSlicesSortStrings (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSlicesSortStrings_Sorted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSort1e2 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSort1e4 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSort1e6 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortFuncStructs (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInt1K (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInt1K_Mod8 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInt1K_Reversed (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInt1K_Sorted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInt64K (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInt64K_Slice (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortInts (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortIsSorted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortString1K (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortString1K_Slice (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortStrings (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortStrings_Sorted (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSortStructs (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStable1e2 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStable1e4 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStable1e6 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStableInt1K (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStableInt1K_Slice (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStableInt64K (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStableString1K (benchmark): benchmark execution is deferred to Phase 4D
- Example (example): example execution is deferred to Phase 4D
- ExampleFind (example): example execution is deferred to Phase 4D
- ExampleFloat64s (example): example execution is deferred to Phase 4D
- ExampleFloat64sAreSorted (example): example execution is deferred to Phase 4D
- ExampleInts (example): example execution is deferred to Phase 4D
- ExampleIntsAreSorted (example): example execution is deferred to Phase 4D
- ExampleReverse (example): example execution is deferred to Phase 4D
- ExampleSearch (example): example execution is deferred to Phase 4D
- ExampleSearchFloat64s (example): example execution is deferred to Phase 4D
- ExampleSearchInts (example): example execution is deferred to Phase 4D
- ExampleSearch_descendingOrder (example): example execution is deferred to Phase 4D
- ExampleSlice (example): example execution is deferred to Phase 4D
- ExampleSliceStable (example): example execution is deferred to Phase 4D
- ExampleStrings (example): example execution is deferred to Phase 4D
- Example_sortKeys (example): example execution is deferred to Phase 4D
- Example_sortMultiKeys (example): example execution is deferred to Phase 4D
- Example_sortWrapper (example): example execution is deferred to Phase 4D