Relevéscargotokio1.43.0tokio::runtime::Builder::enable_time
Exemples publiés
- tokio 1.43.0: Tokio Runtime::Builder disables time and IO drivers by default, time::pause requires current_thread runtime, and TOKIO_WORKER_THREADS=0 panics multi-thread builds Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. HOWtokio::runtime::Buildertokio::runtime::Builder::enable_timetokio::runtime::Builder::enable_iotokio::runtime::Builder::enable_alltokio::runtime::Builder::worker_threadstokio::time::pausetokio::time::advancerust MIT-0 · 2026-08-16
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 |
|---|---|---|---|---|---|---|
| rust 1 · Rust · cargo · linux musl · docker
Observations: PROJECT_TEST 0✓ 1✕ — Vérifié: CONTRACT 1✓ 1✕
|
ELEVATED FAILURE | 1 | 2 | 48 % | 1 · 2✓ | 2026-09-08 |
snapshot · 2026-09-15
Clusters d'échecs
-
observé PROJECT_TEST Lacune de preuve ×2 1.43.0 → 1.53.1 executionContext=rust · os=linux · runtime=rust@1 tokio::runtime::Builder::enable_timeQualité de preuve: legacy-evidence-incomplete · Variantes d’environnement: 1 · Premier relevé: 2026-09-08 · Dernière observation: 2026-09-08Candidat à une revérification diagnostique