go/token — validation proof
Go’s own go/token 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 go/token row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
31 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/go/token.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestFileAddLineColumnInfo |
pass | pass |
TestFileAddLineColumnInfo/normal |
pass | pass |
TestFileAddLineColumnInfo/offset1_==_file_size |
pass | pass |
TestFileAddLineColumnInfo/offset1_>_file_size |
pass | pass |
TestFileAddLineColumnInfo/offset2_<_offset1 |
pass | pass |
TestFileAddLineColumnInfo/offset2_==_file_size |
pass | pass |
TestFileAddLineColumnInfo/offset2_==_offset1 |
pass | pass |
TestFileAddLineColumnInfo/offset2_>_file_size |
pass | pass |
TestFileSetCacheUnlikely |
pass | pass |
TestFileSetPastEnd |
pass | pass |
TestFileSetRace |
pass | pass |
TestFileSetRace2 |
pass | pass |
TestFiles |
pass | pass |
TestIsIdentifier |
pass | pass |
TestIsIdentifier/Empty |
pass | pass |
TestIsIdentifier/Keyword |
pass | pass |
TestIsIdentifier/LettersASCII |
pass | pass |
TestIsIdentifier/LettersUnicode |
pass | pass |
TestIsIdentifier/MixedASCII |
pass | pass |
TestIsIdentifier/Number |
pass | pass |
TestIsIdentifier/Space |
pass | pass |
TestIsIdentifier/SpaceSuffix |
pass | pass |
TestIsIdentifier/UppercaseKeyword |
pass | pass |
TestIssue57490 |
pass | pass |
TestLineInfo |
pass | pass |
TestLineStart |
pass | pass |
TestNoPos |
pass | pass |
TestPositionFor |
pass | pass |
TestPositions |
pass | pass |
TestRemoveFile |
pass | pass |
TestSerialization |
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.
- BenchmarkSearchInts (benchmark): benchmark execution is deferred to Phase 4D
- Example_retrievePositionInfo (example): example execution is deferred to Phase 4D