github.com/google/uuid — 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 |
|---|---|---|---|---|
github.com/google/uuid |
54 | 0 | sha256-1d40aaa871f4e430ac651e70e05593f11e9ed13539146378156e81f13af51b28 |
index.md |
Total: 54 matched · 0 disclosed across 1 package(s).
Excluded declarations
18 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.
github.com/google/uuid: BenchmarkNew (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParse (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParseBadLength (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParseBytes (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParseBytesCopy (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParseBytesUnsafe (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParseLen32Truncated (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkParseLen36Corrupted (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUID_MarshalJSON (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUID_New (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUID_NewPooled (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUID_String (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUID_URN (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUID_UnmarshalJSON (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: BenchmarkUUIDs_Strings (benchmark): benchmark execution is deferred to Phase 4Dgithub.com/google/uuid: FuzzFromBytes (fuzz): fuzz execution is deferred to Phase 4Dgithub.com/google/uuid: FuzzParse (fuzz): fuzz execution is deferred to Phase 4Dgithub.com/google/uuid: FuzzParseBytes (fuzz): fuzz execution is deferred to Phase 4D