CodeSampleX

Aufzeichnungencargosyn3.0.3syn::ExprIf

Veröffentlichte Beispiele

Kompatibilitätsmatrix

Beobachtungen auf Projektebene und Symbol-/Contract-Verifizierungen werden getrennt gezählt und niemals zusammengerechnet.

Diese Zahlen unterscheiden nicht, wie das Symbol aufgerufen wurde: Überladungen, Argumentformen und Optionen werden zusammengefasst. Was eine bestimmte Aufrufform tut, beweist der Vertrag eines Samples – nicht diese Zahlen.

Umgebung Konfidenz Beobachtungen Verifiziert Erfolgsquote Peers Zuletzt gesehen
unknown · Rust · cargo · linux glibc
Beobachtungen: PROJECT_PROCESS 2✓
LOW 2 0 100 % 1 2026-09-17
rust 1 · Rust · cargo · linux musl · docker
Beobachtungen: PROJECT_TEST 1✓ — Verifiziert: CONTRACT 1✓
LOW 1 1 100 % 1 · 1✓ 2026-09-17

snapshot · 2026-09-17

Fehler-Cluster