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.
Both sides of every reading were built with -tags purego,math_big_pure_go,safe.
| Package | Matched | Disclosed | Input digest | Proof |
|---|---|---|---|---|
golang.org/x/sync/errgroup |
5 | 0 | sha256-89d3a237dfa62e0d7fd18ef891bed649abcf482b840aeb26e7eafa447df7d41a |
errgroup.md |
golang.org/x/sync/semaphore |
7 | 1 | sha256-ed3ee1b889d0eeb98b472fe70e016c59b05164c834ddf284d2298c8b9f873b93 |
semaphore.md |
golang.org/x/sync/singleflight |
12 | 0 | sha256-95ea7063a3b0972451062f3b2ab9678255ef9744d93b18bcf1118082366acf86 |
singleflight.md |
golang.org/x/sync/syncmap |
3 | 0 | sha256-3686b75eac2364f2fadd04e3033c88d9db7021d3f43676a0dd7605eedb64764b |
syncmap.md |
Total: 27 matched · 1 disclosed across 4 package(s).
Excluded declarations
16 declaration(s) were excluded from both sides of the comparison and are not counted above; each package’s proof page gives the reason for its own.
golang.org/x/sync/errgroup: BenchmarkGo (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/errgroup: ExampleGroup_justErrors (example): example execution is deferred to Phase 4Dgolang.org/x/sync/errgroup: ExampleGroup_parallel (example): example execution is deferred to Phase 4Dgolang.org/x/sync/errgroup: ExampleGroup_pipeline (example): example execution is deferred to Phase 4Dgolang.org/x/sync/semaphore: BenchmarkAcquireSeq (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/semaphore: BenchmarkNewSeq (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/semaphore: Example_workerPool (example): example execution is deferred to Phase 4Dgolang.org/x/sync/singleflight: ExampleGroup (example): example execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkAdversarialAlloc (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkAdversarialDelete (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkLoadMostlyHits (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkLoadMostlyMisses (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkLoadOrStoreBalanced (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkLoadOrStoreCollision (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkLoadOrStoreUnique (benchmark): benchmark execution is deferred to Phase 4Dgolang.org/x/sync/syncmap: BenchmarkRange (benchmark): benchmark execution is deferred to Phase 4D