File: time-of-build-both.log.desired

package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2
file content (6 lines) | stat: -rw-r--r-- 756 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
 
   After |  Peak Mem | File Name             |   Before |  Peak Mem ||    Change || Change (mem) |  % Change | % Change (mem)
-----------------------------------------------------------------------------------------------------------------------------
0m00.47s | 394716 ko | Total Time / Peak Mem | 0m00.45s | 394392 ko || +0m00.01s ||       324 ko |    +4.44% |         +0.08%
-----------------------------------------------------------------------------------------------------------------------------
0m00.42s | 394716 ko | Fast.vo               | 0m00.02s |  57164 ko || +0m00.40s ||    337552 ko | +1999.99% |       +590.49%
0m00.05s |  57124 ko | Slow.vo               | 0m00.43s | 394392 ko || -0m00.38s ||   -337268 ko |   -88.37% |        -85.51%