regexp — validation proof
Go’s own regexp 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 regexp row in
Validated Test Packages.
Validated 2026-08-04 · converter f6e9c0cf0
45 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/regexp.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestBadCompile |
pass | pass |
TestCompileOnePass |
pass | pass |
TestCopyMatch |
pass | pass |
TestDeepEqual |
pass | pass |
TestFind |
pass | pass |
TestFindAll |
pass | pass |
TestFindAllIndex |
pass | pass |
TestFindAllString |
pass | pass |
TestFindAllStringIndex |
pass | pass |
TestFindAllStringSubmatch |
pass | pass |
TestFindAllStringSubmatchIndex |
pass | pass |
TestFindAllSubmatch |
pass | pass |
TestFindAllSubmatchIndex |
pass | pass |
TestFindIndex |
pass | pass |
TestFindReaderIndex |
pass | pass |
TestFindReaderSubmatchIndex |
pass | pass |
TestFindString |
pass | pass |
TestFindStringIndex |
pass | pass |
TestFindStringSubmatch |
pass | pass |
TestFindStringSubmatchIndex |
pass | pass |
TestFindSubmatch |
pass | pass |
TestFindSubmatchIndex |
pass | pass |
TestFowler |
pass | pass |
TestGoodCompile |
pass | pass |
TestLiteralPrefix |
pass | pass |
TestLongest |
pass | pass |
TestMatch |
pass | pass |
TestMatchFunction |
pass | pass |
TestMergeRuneSet |
pass | pass |
TestMinInputLen |
pass | pass |
TestOnePassCutoff |
pass | pass |
TestParseAndCompile |
pass | pass |
TestProgramTooLongForBacktrack |
pass | pass |
TestQuoteMeta |
pass | pass |
TestRE2Exhaustive |
pass | pass |
TestRE2Search |
pass | pass |
TestReplaceAll |
pass | pass |
TestReplaceAllFunc |
pass | pass |
TestReplaceAllLiteral |
pass | pass |
TestRunOnePass |
pass | pass |
TestSplit |
pass | pass |
TestSubexp |
pass | pass |
TestSwitchBacktrack |
pass | pass |
TestUnmarshalText |
pass | pass |
TestUnmarshalText/invalid_pattern |
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.
- BenchmarkAnchoredLiteralLongNonMatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnchoredLiteralShortNonMatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnchoredLongMatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAnchoredShortMatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkCompile (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFind (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFindAllNoMatches (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFindString (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFindStringSubmatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFindSubmatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkLiteral (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMatch (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMatchClass (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMatchClass_InRange (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMatchParallelCopied (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMatchParallelShared (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMatch_onepass_regex (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNotLiteral (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNotOnePassShortA (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNotOnePassShortB (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnePassLongNotPrefix (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnePassLongPrefix (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnePassShortA (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkOnePassShortB (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkQuoteMetaAll (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkQuoteMetaNone (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkReplaceAll (benchmark): benchmark execution is deferred to Phase 4D
- Example (example): example execution is deferred to Phase 4D
- ExampleMatch (example): example execution is deferred to Phase 4D
- ExampleMatchString (example): example execution is deferred to Phase 4D
- ExampleQuoteMeta (example): example execution is deferred to Phase 4D
- ExampleRegexp_Expand (example): example execution is deferred to Phase 4D
- ExampleRegexp_ExpandString (example): example execution is deferred to Phase 4D
- ExampleRegexp_Find (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAll (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAllIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAllString (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAllStringSubmatch (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAllStringSubmatchIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAllSubmatch (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindAllSubmatchIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindString (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindStringIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindStringSubmatch (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindSubmatch (example): example execution is deferred to Phase 4D
- ExampleRegexp_FindSubmatchIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_Longest (example): example execution is deferred to Phase 4D
- ExampleRegexp_Match (example): example execution is deferred to Phase 4D
- ExampleRegexp_MatchString (example): example execution is deferred to Phase 4D
- ExampleRegexp_NumSubexp (example): example execution is deferred to Phase 4D
- ExampleRegexp_ReplaceAll (example): example execution is deferred to Phase 4D
- ExampleRegexp_ReplaceAllLiteralString (example): example execution is deferred to Phase 4D
- ExampleRegexp_ReplaceAllString (example): example execution is deferred to Phase 4D
- ExampleRegexp_ReplaceAllStringFunc (example): example execution is deferred to Phase 4D
- ExampleRegexp_Split (example): example execution is deferred to Phase 4D
- ExampleRegexp_SubexpIndex (example): example execution is deferred to Phase 4D
- ExampleRegexp_SubexpNames (example): example execution is deferred to Phase 4D