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

package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; 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%