runtime/trace — validation proof
Go’s own runtime/trace 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 runtime/trace row in
Validated Test Packages.
Validated 2026-10-25 · converter b5fc1294d
19 matched · 0 disclosed — Go 1.26.10, windows/amd64, converted package
src/core/runtime/trace.
Measured at Release (tiered JIT off), oracle go version go1.26.10 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestFlightRecorder |
pass | pass |
TestFlightRecorderConcurrentWriteTo |
pass | pass |
TestFlightRecorderDoubleStart |
pass | pass |
TestFlightRecorderEnabled |
pass | pass |
TestFlightRecorderGenerationCount |
pass | pass |
TestFlightRecorderGenerationCount/MaxBytes |
pass | pass |
TestFlightRecorderGenerationCount/MinAge |
pass | pass |
TestFlightRecorderLog |
pass | pass |
TestFlightRecorderStartStop |
pass | pass |
TestFlightRecorderWriteToDisabled |
pass | pass |
TestSubscribers |
pass | pass |
TestSubscribers/start(flight)_start(trace)_stop(flight)_stop(trace) |
pass | pass |
TestSubscribers/start(flight)_start(trace)_stop(trace)_stop(flight) |
pass | pass |
TestSubscribers/start(flight)_stop(flight)_start(trace)_stop(trace) |
pass | pass |
TestSubscribers/start(flight)_stop(flight)_start(trace)_stop(trace)#01 |
pass | pass |
TestSubscribers/start(trace)_start(flight)_stop(trace)_stop(flight) |
pass | pass |
TestTraceAndFlightRecorder |
pass | pass |
TestTraceDoubleStart |
pass | pass |
TestTraceStartStop |
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.
- BenchmarkLog (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNewTask (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkStartRegion (benchmark): benchmark execution is deferred to Phase 4D
- Example (example): example execution is deferred to Phase 4D