Skip to content

MODULE.md

Latest commit

 

History

History
20 lines (13 loc) · 989 Bytes

MODULE.md

File metadata and controls

20 lines (13 loc) · 989 Bytes
Raw

github.com/spf13/pflag — 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/spf13/pflag 177 0 sha256-f1fe1ae88c96ff7ae3cb08a9e7a4d2cdd0785c4797be118724a2b08f6eeee6b3 index.md

Total: 177 matched · 0 disclosed across 1 package(s).

Excluded declarations

2 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/spf13/pflag: ExampleFlagSet_ShorthandLookup (example): example execution is deferred to Phase 4D
  • github.com/spf13/pflag: ExampleShorthandLookup (example): example execution is deferred to Phase 4D