Relevésgolanggithub.com/chzyer/readlinev0.0.0-20180603132655-2972be24d48e
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
Observations: PROJECT_PROCESS 9✓ 1✕ — Usage: USED 5✓ — Vérifié: UNKNOWN 0✓ 2✕
|
ELEVATED FAILURE | 10 +5 | 2 | 75 % | 1 | 2026-08-31 |
Clusters d'échecs récents
-
observé PROJECT_PROCESS Lacune de preuve ×1 v0.0.0-20180603132655-2972be24d48e os=linux · runtime=go@1.26Qualité de preuve: legacy-evidence-incomplete · Variantes d’environnement: 1 · Premier relevé: 2026-08-21 · Dernière observation: 2026-08-21
-
observé UNKNOWN exit 1 Lacune de preuve ×1 v0.0.0-20180603132655-2972be24d48e os=linux · runtime=go@1.26 sha256:4376abbcda27…Contract verification failed: expected default <str>, got <str> · exit status 1go · unclassified-diagnostic · outer go run · gap stage-unknownQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-08-31 · Dernière observation: 2026-08-31Candidat à une revérification diagnostique
-
observé UNKNOWN exit 1 Lacune de preuve ×1 v0.0.0-20180603132655-2972be24d48e os=linux · runtime=go@1.26 sha256:8ba8235d9206…Contract verification failed: expected active string <str>, got <str> · exit status 1go · unclassified-diagnostic · outer go run · gap stage-unknownQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-08-31 · Dernière observation: 2026-08-31Candidat à une revérification diagnostique
Symboles
Pas encore de symboles avec des preuves.