golang.org/x/sync — module validation summary
Every package of this module whose Go tests go2cs converted and validated, summed from the proof pages beside this file. Generated by the converter; regenerate rather than edit.
| Package | Matched | Disclosed | Proof |
|---|---|---|---|
golang.org/x/sync/errgroup |
5 | 0 | errgroup.md |
golang.org/x/sync/semaphore |
8 | 0 | semaphore.md |
golang.org/x/sync/singleflight |
12 | 0 | singleflight.md |
golang.org/x/sync/syncmap |
3 | 0 | syncmap.md |
Total: 28 matched · 0 disclosed across 4 package(s).