github.com/ritchiecarroll/hashset — validation proof
Go’s own github.com/ritchiecarroll/hashset 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, and written beside the conversion: it is not a row of go2cs’s standard-library roster.
Validated 2026-10-09
37 matched · 0 disclosed — Go 1.24.13, linux/amd64, converted package
src/github.com/ritchiecarroll/hashset.
Measured at Release (tiered JIT off), oracle go version go1.24.13 linux/amd64, with no controlling terminal.
Both sides were built with -tags purego,math_big_pure_go,safe.
Input digest sha256-7fb2058d54e18d61eaa288b0e79c847c953bdadf87cdd00fdb0d832750903114: the package’s Go sources, conversion options, target and converter, as its
project records them (GoInputDigest).
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAdd |
pass | pass |
TestClearRemovesNaN |
pass | pass |
TestContains |
pass | pass |
TestDifferential |
pass | pass |
TestEmptySetIsNotAProperSuperset |
pass | pass |
TestExceptWith |
pass | pass |
TestExceptWithSet |
pass | pass |
TestIntersectWith |
pass | pass |
TestIntersectWithSet |
pass | pass |
TestIsEmptyAndClear |
pass | pass |
TestIsProperSubsetOf |
pass | pass |
TestIsProperSubsetOfSet |
pass | pass |
TestIsProperSupersetOf |
pass | pass |
TestIsProperSupersetOfSet |
pass | pass |
TestIsSubsetOf |
pass | pass |
TestIsSubsetOfSet |
pass | pass |
TestIsSupersetOf |
pass | pass |
TestIsSupersetOfSet |
pass | pass |
TestKeys |
pass | pass |
TestNaNElements |
pass | pass |
TestNewHashSet |
pass | pass |
TestNewHashSetStrings |
pass | pass |
TestOverlaps |
pass | pass |
TestOverlapsSet |
pass | pass |
TestRemove |
pass | pass |
TestRemoveWhere |
pass | pass |
TestSetEquals |
pass | pass |
TestSetEqualsSet |
pass | pass |
TestSetOperationsAgainstModel |
pass | pass |
TestSliceArgumentsAreSets |
pass | pass |
TestSymmetricExceptWith |
pass | pass |
TestSymmetricExceptWithSet |
pass | pass |
TestUnionWith |
pass | pass |
TestUnionWithSet |
pass | pass |
TestZeroValueAddPanics |
pass | pass |
TestZeroValueIsAnEmptySet |
pass | pass |
TestZeroValueReads |
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.
- ExampleHashSet_Add (example): example execution is deferred to Phase 4D
- ExampleHashSet_IntersectWith (example): example execution is deferred to Phase 4D
- ExampleHashSet_IsSubsetOfSet (example): example execution is deferred to Phase 4D
- ExampleHashSet_UnionWithSet (example): example execution is deferred to Phase 4D
- ExampleNewHashSet (example): example execution is deferred to Phase 4D