| 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: ExplodedImageOptimize.gmk Sprache: Shell
|
Untersuchungsergebnis.out Download desVHDL {VHDL[123] Ada[201] Abap[1691]}zum Wurzelverzeichnis wechseln total time: 1.632s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ ─sleep --------------------------------- 100.0% 100.0% 3 0.584s ─foo2 ---------------------------------- 0.0% 100.0% 1 1.632s ─foo1 ---------------------------------- 0.0% 64.2% 1 1.048s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ ─foo2 ---------------------------------- 0.0% 100.0% 1 1.632s └foo1 ---------------------------------- 0.0% 64.2% 1 1.048s total time: 0.520s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ ─foo2 ---------------------------------- 0.0% 100.0% 1 0.520s ─sleep --------------------------------- 99.2% 99.2% 52 0.016s ─foo1 ---------------------------------- 0.0% 97.7% 1 0.508s ─foo0 ---------------------------------- 0.8% 96.2% 1 0.500s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ ─foo2 ---------------------------------- 0.0% 100.0% 1 0.520s └foo1 ---------------------------------- 0.0% 97.7% 1 0.508s └foo0 ---------------------------------- 0.8% 96.2% 1 0.500s └sleep --------------------------------- 95.4% 95.4% 50 0.016s total time: 0.000s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ [ zur Elbe Produktseite wechseln0.473Quellennavigators ] |