Relevésgolanggithub.com/kr/ptyv1.1.8github.com/kr/pty.Open
Matrice de compatibilité
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_COMPILE 0✓ 1✕ · PROJECT_PROCESS 6✓ — Vérifié: UNKNOWN 0✓ 2✕
|
ELEVATED FAILURE | 7 | 2 | 67 % | 1 | 2026-09-15 |
snapshot · 2026-09-15
Clusters d'échecs
-
observé PROJECT_COMPILE exit 1 ×1 v1.1.8 os=linux · runtime=go@1.26 github.com/kr/pty.Open sha256:d5fae02e8604…test/contract.go:<n>:<n>: <str> imported and not usedgo/compiler · compiler-diagnostic · outer go runQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-09-14 · Dernière observation: 2026-09-14
-
observé UNKNOWN exit 1 Lacune de preuve ×1 v1.1.8 os=linux · runtime=go@1.26 github.com/kr/pty.Open sha256:fa823a80ca3b…assertion 5 failed: Start returned error: fork/exec <path>: Setctty set but Ctty not valid in child · exit status 1go · unclassified-diagnostic · outer go run · gap stage-unknownQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-09-14 · Dernière observation: 2026-09-14Candidat à une revérification diagnostique
-
observé UNKNOWN exit 1 Lacune de preuve ×1 v1.1.8 os=linux · runtime=go@1.26 github.com/kr/pty.Open sha256:c7cd390866cc…pty.Start error: fork/exec <path>: Setctty set but Ctty not valid in child · exit status 1 · pty opened: <path> <path> · pty size: rows=24, cols=80go · unclassified-diagnostic · outer go run · gap stage-unknownQualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-09-15 · Dernière observation: 2026-09-15Candidat à une revérification diagnostique