CodeSampleX

Beispiel

Parse command line flags with shorthand and default values using FlagSet

sha256:11618d8c713d6b6b8f7615d92d1cbe7ecfa82458b07151cb3b9ba6ce01fd4d22

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS

Deklarierte Umgebung

Betriebssystem
windows 11
Architektur
x64
Paketmanager
go

Umgebungen der Verifizierungsläufe

go 1.26 · linux alpine/x64 · docker PASS
Ausführungskontext
go 1.26
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
go 1.26
Sprache
go
Paketmanager
go
Ausführung
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-19

Fall

HOW
Ziel
Parse command line flags with shorthand and default values using FlagSet
Pakete
Symbole
  • FlagSet.BoolVarP
  • FlagSet.IntVarP
  • FlagSet.Parse
  • FlagSet.StringVarP
Erstellt
2026-08-18T17:46:57Z

Contract

  1. FlagSet.StringVarP binds string flag with long and shorthand names and falls back to default value
  2. FlagSet.IntVarP binds integer flag with long and shorthand names and parses integer values correctly
  3. FlagSet.BoolVarP binds boolean flag with long and shorthand names and parses boolean values correctly
  4. FlagSet.Parse parses argument slice and sets bound variables without error on valid input

Dateien

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • main.go
  • spec.json
  • test/main.go

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym

Verifizierungsbelege

  • go 1.26 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS golang@1
    ed25519:2175b912ea1c23b1