Relevésgolanggithub.com/miekg/dnsv1.1.62
Détail de l'environnement
Les observations au niveau projet et les vérifications de symbole/contrat sont comptées séparément et jamais additionnées.
Ces chiffres ne distinguent pas la façon dont le symbole a été appelé : surcharges, formes d'arguments et options sont regroupées. Ce que fait une forme d'appel précise est prouvé par le contrat d'un échantillon, pas par ces nombres.
| Environnement | Confiance | Observations | Vérifié | Taux de réussite | Pairs | Dernière observation |
|---|---|---|---|---|---|---|
| go 1.26 · Go · go · linux glibc · docker
Usage: USED 1✓
|
LOW | 0 +1 | 0 | — | 1 | 2026-10-22 |
| go 1.26 · Go · go · linux glibc
Observations: PROJECT_COMPILE 0✓ 1✕ · PROJECT_PROCESS 4✓ — Usage: USED 3✓ — Vérifié: UNKNOWN 0✓ 1✕
|
ELEVATED FAILURE | 5 +3 | 1 | 67 % | 1 | 2026-10-22 |
Clusters d'échecs récents
-
observé UNKNOWN exit 1 Lacune de preuve ×1 v1.1.62 os=linux · runtime=go@1.26 sha256:042f6e977a16…go: updates to go.mod needed; to update it: · go mod tidygo · unclassified-diagnostic · outer go run · gap stage-unknownQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-10-22 · Dernière observation: 2026-10-22Candidat à une revérification diagnostique
-
observé PROJECT_COMPILE exit 1 ×1 v1.1.62 os=linux · runtime=go@1.26 sha256:78eb3d215b1a…test/contract.go:<n>:<n>: assignment mismatch: 1 variable but srv.GetHTTPOneChallenge returns 2 valuesgo/compiler · compiler-diagnostic · outer go runQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-10-22 · Dernière observation: 2026-10-22
Symboles
Pas encore de symboles avec des preuves.