net/url — validation proof
Go’s own net/url 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 net/url row in
Validated Test Packages.
Validated 2026-08-07 · converter d6aa09e73
48 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/net/url.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestEncodeQuery |
pass | pass |
TestGob |
pass | pass |
TestInvalidUserPassword |
pass | pass |
TestJSON |
pass | pass |
TestJoinPath |
pass | pass |
TestNilUser |
pass | pass |
TestParse |
pass | pass |
TestParseErrors |
pass | pass |
TestParseFailure |
pass | pass |
TestParseQuery |
pass | pass |
TestParseQuery/; |
pass | pass |
TestParseQuery/;a=1&b=2 |
pass | pass |
TestParseQuery/a%3Bb=1 |
pass | pass |
TestParseQuery/a;b&c=1 |
pass | pass |
TestParseQuery/a;b=1 |
pass | pass |
TestParseQuery/a=%3B |
pass | pass |
TestParseQuery/a=1 |
pass | pass |
TestParseQuery/a=1&; |
pass | pass |
TestParseQuery/a=1&a=2&a=banana |
pass | pass |
TestParseQuery/a=1&a=2;a=banana |
pass | pass |
TestParseQuery/a=1&b=2 |
pass | pass |
TestParseQuery/a=1&b=2; |
pass | pass |
TestParseQuery/a=1&b=2;a=3&c=4 |
pass | pass |
TestParseQuery/a=1&b=2;c=3 |
pass | pass |
TestParseQuery/a=1; |
pass | pass |
TestParseQuery/a=1;b=2 |
pass | pass |
TestParseQuery/ascii=%3Ckey%3A+0x90%3E |
pass | pass |
TestParseRequestURI |
pass | pass |
TestPathEscape |
pass | pass |
TestQueryEscape |
pass | pass |
TestQueryValues |
pass | pass |
TestRejectControlCharacters |
pass | pass |
TestRequestURI |
pass | pass |
TestResolvePath |
pass | pass |
TestResolveReference |
pass | pass |
TestShouldEscape |
pass | pass |
TestStarRequest |
pass | pass |
TestURLErrorImplementsNetError |
pass | pass |
TestURLHostnameAndPort |
pass | pass |
TestURLRedacted |
pass | pass |
TestURLRedacted/blank_Password |
pass | pass |
TestURLRedacted/blank_Username,_blank_Password |
pass | pass |
TestURLRedacted/empty_URL |
pass | pass |
TestURLRedacted/nil_URL |
pass | pass |
TestURLRedacted/nil_User |
pass | pass |
TestURLRedacted/non-blank_Password |
pass | pass |
TestURLString |
pass | pass |
TestUnescape |
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.
- BenchmarkPathEscape (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkPathUnescape (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkQueryEscape (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkQueryUnescape (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkResolvePath (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkString (benchmark): benchmark execution is deferred to Phase 4D
- ExampleParseQuery (example): example execution is deferred to Phase 4D
- ExamplePathEscape (example): example execution is deferred to Phase 4D
- ExamplePathUnescape (example): example execution is deferred to Phase 4D
- ExampleQueryEscape (example): example execution is deferred to Phase 4D
- ExampleQueryUnescape (example): example execution is deferred to Phase 4D
- ExampleURL (example): example execution is deferred to Phase 4D
- ExampleURL_EscapedFragment (example): example execution is deferred to Phase 4D
- ExampleURL_EscapedPath (example): example execution is deferred to Phase 4D
- ExampleURL_Hostname (example): example execution is deferred to Phase 4D
- ExampleURL_IsAbs (example): example execution is deferred to Phase 4D
- ExampleURL_MarshalBinary (example): example execution is deferred to Phase 4D
- ExampleURL_Parse (example): example execution is deferred to Phase 4D
- ExampleURL_Port (example): example execution is deferred to Phase 4D
- ExampleURL_Query (example): example execution is deferred to Phase 4D
- ExampleURL_Redacted (example): example execution is deferred to Phase 4D
- ExampleURL_RequestURI (example): example execution is deferred to Phase 4D
- ExampleURL_ResolveReference (example): example execution is deferred to Phase 4D
- ExampleURL_String (example): example execution is deferred to Phase 4D
- ExampleURL_UnmarshalBinary (example): example execution is deferred to Phase 4D
- ExampleURL_roundtrip (example): example execution is deferred to Phase 4D
- ExampleValues (example): example execution is deferred to Phase 4D
- ExampleValues_Add (example): example execution is deferred to Phase 4D
- ExampleValues_Del (example): example execution is deferred to Phase 4D
- ExampleValues_Encode (example): example execution is deferred to Phase 4D
- ExampleValues_Get (example): example execution is deferred to Phase 4D
- ExampleValues_Has (example): example execution is deferred to Phase 4D
- ExampleValues_Set (example): example execution is deferred to Phase 4D