| products/sources/formale sprachen/Coq/test-suite/output-modulo-time/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: logs.xml Sprache: Unknown
|
Spracherkennung für: .out vermutete Sprache: VHDL {VHDL[124] SQL[230] Ada[250]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] total time: 1.032s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ ─sleep' -------------------------------- 100.0% 100.0% 1 1.032s ─sleep --------------------------------- 0.0% 0.0% 0 0.000s ─constructor --------------------------- 0.0% 0.0% 1 0.000s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ ─sleep' -------------------------------- 100.0% 100.0% 1 1.032s ─sleep --------------------------------- 0.0% 0.0% 0 0.000s └sleep' -------------------------------- 0.0% 0.0% 0 0.000s ─constructor --------------------------- 0.0% 0.0% 1 0.000s [ Verzeichnis aufwärts0.120unsichere Verbindung ] |